Items related to Z: An Introduction to Formal Methods
Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
"synopsis" may belong to another edition of this title.
From the Back Cover:
Z An Introduction to Formal Methods Second Edition Antoni Diller University of Birmingham Now that formal methods are seen as a necessary and beneficial theoretical tool for systems designers and programmers, this book offers a thorough and comprehensive tutorial introduction to Z taking as its starting point the practical use of this formal specification language. Case studies are used to illustrate all aspects of Z and are introduced early on in order to motivate the mathematical notations that have to be covered. Standard notation is used throughout. Many proofs are included and they are presented using the commonest format for natural deduction proofs. With exercises given and clear descriptions and explanations provided, this book is required reading for students and post-experience software engineers learning Z. Enhancements to this edition are more exercises, information on how to relate Z specifications to actual program code, and amendments so that the book is in line with the current language standards.
About the Author:
Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.
"About this title" may belong to another edition of this title.
- PublisherWiley
- Publication date1994
- ISBN 10 0471939730
- ISBN 13 9780471939733
- BindingPaperback
- Edition number2
- Number of pages400
- Rating
Buy New
Learn more about this copy
US$ 40.53
Shipping:
US$ 4.00
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Z 2e
Seller:
Rating
Book Description Paperback. Condition: new. New. Fast Shipping and good customer service. Seller Inventory # Holz_New_0471939730
Buy New
US$ 40.53
Convert currency
Stock Image
Z: An Introduction to Formal Methods
Seller:
Rating
Book Description Soft cover. Condition: New. 2nd Edition. STORED NEW PRISTINE CONDITION SANITIZED THEN WRAPPED. Book. Seller Inventory # ABE-1668354445774
Buy New
US$ 46.00
Convert currency
Seller Image
Z : An Introduction to Formal Methods
Seller:
Rating
Book Description Condition: New. Seller Inventory # 34688-n
Buy New
US$ 64.41
Convert currency
Stock Image
Z: AN INTRODUCTION TO FORMAL MET
Seller:
Rating
Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 1.59. Seller Inventory # Q-0471939730
Buy New
US$ 62.86
Convert currency
Stock Image
Z 2e
Seller:
Rating
Book Description Paperback. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # think0471939730
Buy New
US$ 64.56
Convert currency
Stock Image
Buy New
US$ 64.55
Convert currency
Stock Image
Z 2e
Seller:
Rating
Book Description Paperback. Condition: new. New. Seller Inventory # Wizard0471939730
Buy New
US$ 65.37
Convert currency
Stock Image
Z 2e
Seller:
Rating
Book Description Paperback. Condition: new. Prompt service guaranteed. Seller Inventory # Clean0471939730
Buy New
US$ 64.87
Convert currency
Stock Image
Z 2e
Seller:
Rating
Book Description Paperback. Condition: new. Buy for Great customer experience. Seller Inventory # GoldenDragon0471939730
Buy New
US$ 65.88
Convert currency
Stock Image
Z
Published by
Wiley 1994-05-03, Chichester
(1994)
ISBN 10: 0471939730
ISBN 13: 9780471939733
New
paperback
Quantity: > 20
Seller:
Rating
Book Description paperback. Condition: New. Language: ENG. Seller Inventory # 9780471939733
Buy New
US$ 75.65
Convert currency