Potter, Ben. <br/><br/>
An Introduction to Formal Specification and Z / 
Ben Potter, Jane Sinclair, David Till 
 - 2nd ed 
 - New York ;  London :  Prentice-Hall,  c1996 
 - xiv, 434 p. :  ill. ;  24 cm 
 - Prentice-Hall international series in computer science .
<br/><br/>Includes bibliography and index 
<br/><br/>*Introduction. *Formal Specification within Software Engineering. *An informal introduction to Logic and Set Theory. *The Z Notation: Mathematical Language. *The Z Notation: Relations and Functions. *The Z Notation:Schemas and Specification Structure. *A First Specification.Formal Reasoning. *From Specification to Program. *From Theory to Practice. *Appendices. *Bibliography. *Index. 
<br/><br/> Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years. 
<br/><br/><label>ISBN: </label>0132422077 
<br/><br/><label>Subjects--Uniform Titles: </label><br/>Z (Computer program language)
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming
<br/><br/><label>LC Class. No.: </label>QA76.76  / .D47 P68 1996