Diller, Antoni. <br/><br/>
Z :  an introduction to formal methods / 
Antoni Diller. 
 - 2nd ed. 
 - Chichester, West Sussex, England ;  New York :  Wiley & Sons,  1994. 
 - xix, 374 p. :  ill ;  25 cm. 
<br/><br/>
<br/><br/>
<br/><br/><label>ISBN: </label>0471939730 : 
<br/><br/><label>LCCN: </label>94004943 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language)<br/>Formal methods (Computer science)
<br/><br/><label>Dewey Class. No.: </label>005.1/2