Items related to Z 2e: An Introduction to Formal Methods
Synopsis
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.
About the Author
Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.
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.
From the Inside Flap
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 this title" may belong to another edition of this title.
Buy New
View this item
£ 20.63
£ 26.36 shipping from U.S.A. to United Kingdom
Destination, rates & speedsSearch results for Z 2e: An Introduction to Formal Methods
Stock Image
Z 2e: An Introduction to Formal Methods (Computer Science)
Seller: Bahamut Media, Reading, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Seller Inventory # 6545-9780471939733
Quantity: 2 available
Stock Image
Z 2e: An Introduction to Formal Methods (Computer Science)
Seller: AwesomeBooks, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Z 2e: An Introduction to Formal Methods (Computer Science) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Seller Inventory # 7719-9780471939733
Quantity: 2 available
Stock Image
Z : An Introduction to Formal Methods
Published by
Wiley & Sons, Incorporated, John, 1994
ISBN 10: 0471939730
ISBN 13: 9780471939733
Used
Softcover
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. 2nd. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP10843577
Quantity: 4 available
Stock Image
Z 2e: An Introduction to Formal Methods
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Fair. A readable copy of the book which may include some defects such as highlighting and notes. Cover and pages may be creased and show discolouration. Seller Inventory # GOR006846585
Quantity: 1 available
Stock Image
Z 2e: An Introduction to Formal Methods
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 # GOR001433927
Quantity: 1 available
Stock Image
Z 2e: An Introduction to Formal Methods
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Good. The book has been read but remains in clean condition. All pages are intact and the cover is intact. Some minor wear to the spine. Seller Inventory # GOR002411289
Quantity: 1 available
Seller Image
Z, an introduction to formal methods Antoni Diller.
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C 767: (1995) 9780471939733 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2503239
Quantity: 1 available
Stock Image
Z : An Introduction to Formal Methods
Published by
Wiley & Sons, Incorporated, John, 1994
ISBN 10: 0471939730
ISBN 13: 9780471939733
Used
Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 2nd. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP13689726
Quantity: 1 available
Stock Image
Z: An Introduction to Formal Methods
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.75. Seller Inventory # G0471939730I3N00
Quantity: 1 available
Stock Image
Z: An Introduction to Formal Methods
Seller: BooksByLisa, Highland Park, IL, U.S.A.
Seller rating 4 out of 5 stars
Soft cover. Condition: New. Second Edition. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Seller Inventory # 3395
Quantity: 1 available