Wang Jiacum <br/><br/>
Formal methods in computer science 

 - Boca Raton   CRC Press       2020 
 - xvii, 294p. ill.  cm 
 - Textbooks in mathematics .
<br/><br/> Index 291-294p. 
<br/><br/><label>ISBN: </label>9781498775328 (pbk) 
<br/><br/><label>Standard No.: </label>201374 
<br/><br/><label>Source: </label> 5986, 18/12/2019, Ashutosh Technical Books  Textual 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Formal methods<br/> Petri nets<br/> Predicate logic<br/>Computer Science
<br/><br/><label>Dewey Class. No.: </label>D65,8(B), R0