Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series) - Softcover
Synopsis
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.
Search results for Software Development With Z: A Practical Approach to...
Stock Image
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR001729493
Buy Used
US$ 5.14
Shipping:
US$ 7.37
From United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Published by
Addison-Wesley Longman, Incorporated, 1992
ISBN 10: 0201627574
ISBN 13: 9780201627572
Used
Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Used book that is in clean, average condition without any missing pages. Seller Inventory # 5531017-6
Stock Image
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Published by
Addison-Wesley Longman, Incorporated, 1992
ISBN 10: 0201627574
ISBN 13: 9780201627572
Used
Softcover
Seller: Better World Books: West, Reno, NV, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Used book that is in clean, average condition without any missing pages. Seller Inventory # 5531017-6
Stock Image
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Published by
Addison-Wesley Longman, Incorporated, 1992
ISBN 10: 0201627574
ISBN 13: 9780201627572
Used
Softcover
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 13520534-6
Buy Used
US$ 6.01
Shipping:
US$ 10.52
From United Kingdom to U.S.A.
Quantity: 3 available
Stock Image
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Seller: BennettBooksLtd, San Diego, NV, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0201627574