Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering by John Wordsworth is a reprint edition published by Addison-Wesley in 1992. This 400-page book serves as a practical tutorial guide to the Z specification language, focusing on its application in software development. It aims to clarify how mathematical precision can enhance familiar procedures and decisions within the field.
Readers will find a structured approach that begins with a case study, making the content accessible and self-contained. The book covers fundamental concepts in logic and set theory, guiding readers to formulate precise ideas about software systems. By combining formal methods with practical examples, this edition addresses key topics in computer software development and the Z programming language, providing a comprehensive resource for those interested in formal methods in software engineering.
Official synopsis Publisher
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.
Author
Publisher
Topics
FAQ
What is “Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)” about?
Who is the author of “Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)”?
When was “Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)” published?
What is the ISBN for “Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)”?
What are the book details (language, pages, edition)?
