Items related to Software Development With Z: A Practical Approach to...
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series) - Softcover
This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
"synopsis" may belong to another edition of this title.
- PublisherAddison-Wesley
- Publication date1992
- ISBN 10 0201627574
- ISBN 13 9780201627572
- BindingPaperback
- Number of pages400
Buy New
Learn more about this copy
US$ 98.81
Shipping:
US$ 4.91
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
SOFTWARE DEVELOPMENT WITH Z: A P
Published by
Addison-Wesley
(1992)
ISBN 10: 0201627574
ISBN 13: 9780201627572
New
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 1.05. Seller Inventory # Q-0201627574
Buy New
US$ 98.81
Convert currency