5485866
9780201627572
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
by Wordsworth, J. B.
About this item
- Condition: Good
- Provider: Ergodebooks Contact
- Provider Rating: 82%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: Buy with confidence. Excellent Customer Service & Return policy.
Product details
- ISBN-13: 9780201627572
- ISBN: 0201627574
- Edition: 1
- Publication Date: 1992
- Publisher: Addison-Wesley Longman, Incorporated
AUTHOR
SUMMARY
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.Wordsworth, J. B. is the author of 'Software Development with Z: A Practical Approach to Formal Methods in Software Engineering', published 1992 under ISBN 9780201627572 and ISBN 0201627574.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
