Wang, Jiacun  <br/><br/>
Formal methods in computer science  

 - Boca Raton   CRC Press  2020 
 - xvii, 294p.  
 - Textbooks in Mathematics  .
 - Boggess, AI  .
<br/><br/><label>ISBN: </label>9781498775328 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science) 
<br/><br/><label>Dewey Class. No.: </label>004.01 W1841f