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

Using Z: Specification, Refinement, and Proof

by Woodcock, Jim

  • ISBN: 9780139484728
  • ISBN10: 0139484728

Using Z: Specification, Refinement, and Proof

by Woodcock, Jim

  • List Price: $34.00
  • Binding: Paperback
  • Publisher: Prentice Hall
  • Publish date: 01/01/2006
  • ISBN: 9780139484728
  • ISBN10: 0139484728
used Add to Cart $15.82
You save: 53%
Marketplace Item
new Add to Cart $99.80
Marketplace Item
Description: This is the first book to cover the three important areas of using the Z notation -- specification, rigorous and formal proof, and refinement into code. KEY TOPICS: It covers sequences, schemas, promotion, preconditions, a logic for Z, sample theorems, data refinement, algorithm development, and more. For programmers, software designers, and software engineers. Previously announced in 2/93 PTR Catalog.
Expand description
Seller Condition Comments Price  
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:
$15.82
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: One Stop Shop Bookstore
Location: Memphis, TN
Condition: Good
Shipping Icon
Price:
$29.25
Comments:
Seller: Awesomebooks_Newbooks
Location: Wilmington, DE
Condition: New
BRAND NEW BOOK! Shipped within 24-48 hours. Normal delivery time is 5-12
[...]
Price:
$99.80
Comments:
BRAND NEW BOOK! Shipped within 24-48 hours. Normal delivery time is 5-12
[...]
Seller: GridFreed
Location: Las Vegas, NV
Condition: New
Price:
$107.61
Comments:
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: ).