Error title
Some error text about your books and stuff.
Close
  • 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 $12.65
You save: 81%
Marketplace Item
new Add to Cart $62.99
You save: 7%
Marketplace Item
Description: 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  
Ergodebooks
Location: Richmond, TX Ask seller a question
Good
Buy with confidence. Excellent Customer Service & Return policy.
$12.65
One Stop Shop Bookstore
Location: Memphis, TN
Good
Shipping Icon
$23.85
Ergodebooks
Location: Richmond, TX Ask seller a question
New
Buy with confidence. Excellent Customer Service & Return policy.
$62.99
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).