Understanding Formal Methods
(Sprache: Englisch)
This volume provides a comprehensive introduction to the field of formal methods for students and practitioners. It strikes a careful balance between rigorous exposition of the underlying mathematics and concrete examples of implementations using real-life...
Leider schon ausverkauft
versandkostenfrei
Buch
80.24 €
Produktdetails
Produktinformationen zu „Understanding Formal Methods “
Klappentext zu „Understanding Formal Methods “
This volume provides a comprehensive introduction to the field of formal methods for students and practitioners. It strikes a careful balance between rigorous exposition of the underlying mathematics and concrete examples of implementations using real-life tools, thus making it easy to grasp the underlying concepts and theories. It does not aim to provide guidelines for using a particular method, or comparisons of different approaches, but rather a conceptual framework that the reader can use to master any given method. It therefore makes an invaluable practical companion to introductory texts on logic and to books dedicated to a particular formal method. Understanding Formal Methods will be of interest to advanced students and engineers who need to learn the basics of this topic, and also professionals who need to broaden their knowledge or bring themselves up-to-date with the latest techniques.
Inhaltsverzeichnis zu „Understanding Formal Methods “
- Foreword by Gerald Huet- Preface
- Acronyms
* Motivation
* Introductory Exercise
* A Presentation of Logical Tools
* Hoare Logic
* Classical Logic
* Languages Based on Set Theory
* Set Theory
* Specifying Behavior
* Deduction Systems
* Abstract Data Types and Algebraic Specification
* Type Systems and Constructive Logics
* Using Type Theory
- Bibliography
- Index
Bibliographische Angaben
- Autor: Jean-Francois Monin
- 2002, 276 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Übersetzung:Hinchey, M.G.
- Herausgegeben: Jean-François Monin, Michael G. Hinchey
- Übersetzer: M. G. Hinchey
- Verlag: Springer
- ISBN-10: 1852332476
- ISBN-13: 9781852332471
Sprache:
Englisch
Kommentar zu "Understanding Formal Methods"
0 Gebrauchte Artikel zu „Understanding Formal Methods“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Understanding Formal Methods".
Kommentar verfassen