Error title
Some error text about your books and stuff.
Introduction to Formal Specification and Z cover
  • ISBN: 9780132422079
  • ISBN10: 0132422077

Introduction to Formal Specification and Z

by Ben Potter

  • List Price: $67.65
  • Binding: Paperback
  • Edition: 2
  • Publisher: Prentice Hall
  • Publish date: 06/01/1996
used Add to Cart $14.15
You save: 79%
Marketplace Item
Introduces developers to Z notation, a formal specification methodology that can dramatically improve the way software systems are modeled and implemented.Covers the role of formal specification in software engineering, and presents an informal introduction to logic and set theory. Introduces the Z notation as a mathematical language. Presents Z notation relations, functions, schemas and specifications structure. Presents a completed specification in Z notation, and shows how that specification can be transformed into a working program.Software engineers and students of advanced software engineering.
Expand description
Seller Condition Comments Price  
Firecreek Books

Location: Germantown, TN
One Stop Shop Bookstore

Location: Memphis, TN
Shipping Icon
Ables Bookstore

Location: chattanooga, TN
Shipping Icon