- ISBN: 9780139484728
- ISBN10: 0139484728
Using Z: Specification, Refinement, and Proof
- List Price: $34.00
- Binding: Paperback
- Publisher: Prentice Hall
- Publish date: 01/01/2006
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 |
|
secondsale
|
Good |
Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc...
|
$3.00
|
|
GoodDealsOnUsedBooks
|
Good
|
0139484728 Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc...
|
$3.37
|
|
Better World Books West
|
Acceptable |
Ships from Reno, NV. Former Library book. Shows definite wear, and perhaps
|
$3.50
|
|
Solr Books
|
Good
|
Great reading/study copy. May have highlights and/or notes. Ships Fast! Satisfaction Guaranteed!
|
$4.48
|
|
One Stop Shop Bookstore
|
Good
|
|
$25.28
|
|
Found Books
|
Good |
0139484728.
|
$28.12
|
|
Ergodebooks
|
New |
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
|
$94.56
|
Please Wait