Blackwell UK
|
Z in Practice
Rosalind Barden, Susan Stepney, David Cooper
ISBN: 9780131249349
Format: Paperback
Publisher: Pearson Education (US)
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…
RRP £67.99
Availability:
Usually despatched within 3 to 9 days
Free UK postage
Reserve in-store:
Not currently stocked in Blackwell stores. Ask your local store to obtain this item for you.
Buy used: 12 new & used available from £17.30
Wishlist:
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.
