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 $7.87
You save: 88%
Marketplace Item
new Add to Cart $114.91
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: HPB-Red
Location: Dallas, TX
Condition: Good
Shipping Icon
Connecting readers with great books since 1972. Used books may not include
[...]
Price:
$7.87
Comments:
Connecting readers with great books since 1972. Used books may not include
[...]
Seller: Bonita
Location: Newport Coast, CA
Condition: Good
Price:
$55.56
Comments:
Seller: GridFreed
Location: North Las Vegas, NV
Condition: New
New.
Price:
$114.91
Comments:
New.
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: ).