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

 - Boca Raton   Taylor & Francis 
 - Soft Binding  xvii      294 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>9780000000000 
<br/><br/><label>Dewey Class. No.: </label>004.0151 WAN-F