Wordsworth, J. B. <br/><br/>
Software development with Z :  a practical approach to formal methods in software engineering / 
J.B/Wordsworth. 
 - Wokingham, England ;  Reading, Mass. :  Addison-Wesley pub.co.,   1992 
 - xii, 334 p. :  ill. ;  24 cm. 
 - International computer science series .
<br/><br/>Includes bibliographical references (p. 321-324) and index. 
<br/><br/><label>ISBN: </label>0201627574 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language)<br/>Computer software--Development.
<br/><br/><label>LC Class. No.: </label>QA76.73.Z2  / W67 1992