Wang, Jiacun <br/><br/>
Formal methods in computer science 
Jiacun Wang and William Tepfenhart 
 - Boca Raton:  CRC Press,  2020. 
 - xvii, 294 p. 
 - textbooks in mathematics .
<br/><br/><br/>Eng 
<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.0151  / WAF