Error title
Some error text about your books and stuff.
Close

Introduction to Formal Specification and Z

by Ben Potter

  • 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
  • ISBN: 9780132422079
  • ISBN10: 0132422077
used Add to Cart $135.28
Marketplace Item
new Add to Cart $99.85
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  
Seller: Awesomebooks_Newbooks
Location: Valley Cottage, NY
Condition: New
BRAND NEW BOOK! Shipped within 24-48 hours. Normal delivery time is 5-12
[...]
Price:
$99.85
Comments:
BRAND NEW BOOK! Shipped within 24-48 hours. Normal delivery time is 5-12
[...]
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$135.28
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
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: ).