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

  • Binding: Paperback
  • Publisher: Prentice Hall
  • Publish date: 01/01/2006
  • ISBN: 9780139484728
  • ISBN10: 0139484728
used Add to Cart $16.25
You save: 52%
Marketplace Item
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
new Add to Cart $115.00
Marketplace Item
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
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
Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Seller Condition Comments Price  
Seller: ErgodeBooks
Location: Houston, TX
Condition: Good
Trade paperback (US). Glued binding. 386 p. Contains: Illustrations, black & white. Prentice-Hall International Series in Computer Science.
Price:
$16.25
Comments:
Trade paperback (US). Glued binding. 386 p. Contains: Illustrations, black & white. Prentice-Hall International Series in Computer Science.
Seller: Bonita
Location: Santa Clarita, CA
Condition: Good
Shipping Icon
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Price:
$40.26
Comments:
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Seller: GridFreed
Location: North Las Vegas, NV
Condition: New
Size: 8x6x1; In shrink wrap. Looks like an interesting title!
Price:
$115.00
Comments:
Size: 8x6x1; In shrink wrap. Looks like an interesting title!
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: ).