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 $2.93
You save: 91%
Marketplace Item
Show more
Close
new Add to Cart $56.23
Marketplace Item
Show more
Close
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: secondsale
★
★
★
★
★
★
★
★
★
★
Location: Montgomery, IL Ask seller a question 		Condition: Good
Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc...
Price:
$2.93
Add to Cart
Comments:
Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc...
Seller: GoodDealsOnUsedBooks
★
★
★
★
★
★
★
★
★
★
Location: Aurora, IL 		Condition: Good
Shipping Icon
0139484728 Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc...
Price:
$3.30
Add to Cart
Comments:
0139484728 Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc...
Seller: Better World Books West
★
★
★
★
★
★
★
★
★
★
Location: Mishawaka, IN 		Condition: Acceptable
Ships from Reno, NV. Former Library book. Shows definite wear, and perhaps
[...]
 Price:
$4.36
Add to Cart
Comments:
Ships from Reno, NV. Former Library book. Shows definite wear, and perhaps
[...]
Seller: Solr Books
★
★
★
★
★
★
★
★
★
★
Location: Skokie, IL 		Condition: Good
Shipping Icon
Great reading/study copy. May have highlights and/or notes. Ships Fast! Satisfaction Guaranteed!
Price:
$5.58
Add to Cart
Comments:
Great reading/study copy. May have highlights and/or notes. Ships Fast! Satisfaction Guaranteed!
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:
$10.70
Add to Cart
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: Found Books
★
★
★
★
★
★
★
★
★
★
Location: AUSTIN, TX 		Condition: Good
0139484728.
Price:
$31.50
Add to Cart
Comments:
0139484728.
Seller: C9 Media
★
★
★
★
★
★
★
★
★
★
Location: Wellington, FL 		Condition: New
0139484728 New Condition.
Price:
$56.23
Add to Cart
Comments:
0139484728 New Condition.
Seller: Ergodebooks
★
★
★
★
★
★
★
★
★
★
Location: Richmond, TX Ask seller a question 		Condition: New
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$89.28
Add to Cart
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: Awesomebooks_Newbooks
★
★
★
★
★
★
★
★
★
★
Location: Valley Cottage, NY 		Condition: New
BRAND NEW BOOK! Shipped within 24-48 hours. Normal delivery time is 5-12
[...]
 Price:
$93.83
Add to Cart
Comments:
BRAND NEW BOOK! Shipped within 24-48 hours. Normal delivery time is 5-12
[...]
Seller: A to Z store
★
★
★
★
★
★
★
★
★
★
Location: Pittsboro, NC 		Condition: New
Shipping Icon
0139484728.
Price:
$104.61
Add to Cart
Comments:
0139484728.
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: ).