An Introduction to Formal Specification and Z /
Potter, Ben.
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 .
Includes bibliography and index
*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.
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.
0132422077
Z (Computer program language)
Computer programming
QA76.76 / .D47 P68 1996
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 .
Includes bibliography and index
*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.
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.
0132422077
Z (Computer program language)
Computer programming
QA76.76 / .D47 P68 1996