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 |
$15.82
|
|
One Stop Shop Bookstore
|
Good
|
$29.25
|
|
Awesomebooks_Newbooks
|
New |
$99.80
|
|
GridFreed
|
New |
$107.61
|
Please Wait