Diller, Antoni. <br/><br/>
Z :   an introduction to formal methods /  
Antoni Diller. 
 - Chichester [England] ;    New York :   New York :   New York :   New York :   J. Wiley,   c1990. 
 - xxi, 309 p. :    ill. ;    25 cm. 
<br/><br/>Includes bibliographical references (p. 289-299) and index. 
<br/><br/><label>ISBN: </label>047192489X 
<br/><br/><label>LCCN: </label>90-035819 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language)--------
<br/><br/><label>Dewey Class. No.: </label>005.13/3