Error title
Some error text about your books and stuff.
Close
Using Z: Specification, Refinement, and Proof cover
  • 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
used Add to Cart $1.60
You save: 95%
Marketplace Item
new Add to Cart $113.94
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  
Better World Books West

Location: Mishawaka, IN
Acceptable
Ships from Reno, NV. Former Library book. Shows definite wear, and perhaps
[...]
$1.60
secondsale

Location: Montgomery, IL
Ask seller a question
Good
Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc...
$3.00
GoodDealsOnUsedBooks

Location: Aurora, IL
Good
Shipping Icon
0139484728 Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc...
$3.37
Ergodebooks

Location: Richmond, TX
Ask seller a question
Good
Buy with confidence. Excellent Customer Service & Return policy.
$12.95
Firecreek Books

Location: Germantown, TN
Good
$22.56
One Stop Shop Bookstore

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

Location: Memphis, TN
Good
Shipping Icon
$27.86
Found Books

Location: AUSTIN, TX
Good
0139484728.
$28.12
Ergodebooks

Location: Richmond, TX
Ask seller a question
New
Buy with confidence. Excellent Customer Service & Return policy.
$113.94