Error title
Some error text about your books and stuff.
Close
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 $22.60
You save: 67%
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  
One Stop Shop Bookstore

Location: Memphis, TN
Good
Shipping Icon
$22.60
One Stop Shop Bookstore

Location: Memphis, TN
Good
Shipping Icon
$24.43
Ables Bookstore

Location: chattanooga, TN
Good
Shipping Icon
$38.56