Logics of Specification Languages
(Sprache: Englisch)
This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application.
In a unique feature, the book closes with short...
In a unique feature, the book closes with short...
Leider schon ausverkauft
versandkostenfrei
Buch
208.64 €
Produktdetails
Produktinformationen zu „Logics of Specification Languages “
This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application.
In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.
In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.
Klappentext zu „Logics of Specification Languages “
This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application.
In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.
Inhaltsverzeichnis zu „Logics of Specification Languages “
- An Overview- Abstract State Machines for the Classroom
- The Event-B Modelling Method: Concepts and Case Studies
- A Methodological Guide to CafeOBJ Logic
- CASL - The Common Algebraic Specification Language
- Duration Calculus
- The Logic of the RAISE Specification Language
- The Specification Language TLA+
- The Typed Logic of Partial Functions and the Vienna Development Method
- Z and Its Applications
- Reviews
- An Overview
- Abstract State Machines for the Classroom
- The Event-B Modelling Method: Concepts and Case Studies
- A Methodological Guide to CafeOBJ Logic
- CASL - The Common Algebraic Specification Language
- Duration Calculus
- The Logic of the RAISE Specification Language
- The Specification Language TLA+
- The Typed Logic of Partial Functions and the Vienna Development Method
- Z and Its Applications
- Reviews
Bibliographische Angaben
- 2008, 2008, 624 Seiten, Maße: 16 x 24,1 cm, Gebunden, Englisch
- Herausgegeben:Bjørner, Dines; Henson, Martin C.
- Herausgegeben: Martin C. Henson, Dines Bjørner
- Verlag: Springer
- ISBN-10: 3540741062
- ISBN-13: 9783540741060
- Erscheinungsdatum: 07.12.2007
Sprache:
Englisch
Kommentar zu "Logics of Specification Languages"
0 Gebrauchte Artikel zu „Logics of Specification Languages“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Logics of Specification Languages".
Kommentar verfassen