Z 2e: An Introduction to Formal Methods - Softcover

Diller, Antoni

 
9780471939733: Z 2e: An Introduction to Formal Methods
Softcover
ISBN 10: 0471939730 ISBN 13: 9780471939733
Verlag: John Wiley & Sons, 1994

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.

Von der hinteren Coverseite

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.

Aus dem Klappentext

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
John Wiley & Sons
Erscheinungsdatum
1994
Sprache
Englisch
ISBN 10 
0471939730
ISBN 13 
9780471939733
Einband
Taschenbuch
Auflage
2
Anzahl der Seiten
396
Kontakt zum Hersteller
Wiley-VCH GmbH
product_safety@wiley.com

Boschstrasse 12
Weinheim
69469
Deutschland