Error title
Some error text about your books and stuff.
Close

Z in Practice

by Cooper, David

  • ISBN: 9780131249349
  • ISBN10: 0131249347

Z in Practice

by Cooper, David

  • List Price: $48.00
  • Binding: Paperback
  • Edition: 1
  • Publisher: Prentice Hall
  • Publish date: 01/01/2007
  • ISBN: 9780131249349
  • ISBN10: 0131249347
Currently Unavailable
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
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).