Z in Practice
- List Price: $48.00
- Binding: Paperback
- Edition: 1
- Publisher: Prentice Hall
- Publish date: 01/01/2007
Description:
This is the first book aimed at people who already understand the basics of the Z notation and now wish to become users of it. Written in a clear manner, this practical book demonstrates how Z should be used to solve real problems. Key features: includes five large case studies and many smaller examples of using Z, each illustrating different features of the language; each specification includes detailed discussions of the models chosen, alternative approaches, and leads the reader through the thought processes of the specifier and contains a comprehensive glossary with links into examples in the main text that illustrate the definitions in use. Z in Practice is aimed at the practitioner wanting to find out about current practice of formal methods, and provides an excellent short guide for non-technical project managers and team leaders.
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 |
|
HPB-Red
Good
|
$4.50
|
|
HPB-Red
Good
|
$5.62
|
Ergodebooks
|
Good |
$6.70
|
|
Wonder Book - Member ABAA/ILAB
Very Good |
$6.97
|
Please Wait