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 |
|
Ergodebooks
|
Good |
$19.89
|
|
One Stop Shop Bookstore
|
Good
|
$32.77
|
|
Bonita
|
Good |
$60.81
|
|
GridFreed
|
New |
$91.70
|
|
Bonita
|
New |
$101.87
|
Please Wait