Jacky, Jonathan. <br/><br/>
The way of Z :  practical programming with formal methods  / 
Jonathan Jacky. 
 - Cambridge ;  New York, NY, USA :  Cambridge University Press,  c1997. 
 - xviii, 350 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780521559768 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science).<br/>Z (Computer program language).
<br/><br/><label>Dewey Class. No.: </label>005.12  / JAC