Diller, Antoni <br/><br/>
Z An Introduction to Formal Methods  

 - 2nd 
 - Chichester :   John Wiley,   c1994 
 - XIX, 374 p.  : ill 
<br/><br/>Includes Bibliographical References and Index 
<br/><br/><label>ISBN: </label>0471939730 
<br/><br/><label>ISSN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z Computer Program Language
<br/><br/><label>Dewey Class. No.: </label>005.12  / DIL