Diller, Antoni <br/><br/>
Z :  an introduction to formal methods / 
Antoni Diller 
 - 2nd ed. 
 - Chichester :  John Wiley,  c1994. 
 - xix, 374 p. :  ill. ;  25 cm. 
<br/><br/><label>ISBN: </label>0471939730 
<br/><br/><label>LCCN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer program language<br/>Formal methods<br/>Computer science
<br/><br/><label>LC Class. No.: </label>QA76.73  / .Z2D55 1994