Wang, Jiacun <br/><br/>
Formal Methods In Computer Science 

 - 1st 
 - Boca Raton  CRC Press  2020 
 - xvii,294p. 
<br/><br/><label>ISBN: </label>9781498775328  RS 6232.63 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science
<br/><br/><label>Dewey Class. No.: </label>004.015   / WAN