Login

Bjørner, Dines

Logics of Specification Languages

Bjørner, Dines - Logics of Specification Languages, ebook

98,95€

Ebook, PDF with Adobe DRM
ISBN: 9783540741077
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

Part I. Preludium

1. An Overview
Dines Bjørner, Martin C. Henson

Part II. The Languages

2. Abstract State Machines for the Classroom
Wolfgang Reisig

3. The event-B Modelling Method: Concepts and Case Studies
Dominique Cansell, Dominique Méry

4. A Methodological Guide to the CafeOBJ Logic
Razvan Diaconescu

5. Casl — the Common Algebraic Specification Language
Till Mossakowski, Anne E. Haxthausen, Donald Sannella, Andrezj Tarlecki

6. Duration Calculus
Michael R. Hansen

7. The Logic of the RAISE Specification Language
Chris George, Anne E. Haxthausen

8. The Specification Language TLA+
Stephan Merz

9. The Typed Logic of Partial Functions and the Vienna Development Method
John S. Fitzgerald

10. Z Logic and Its Applications
Martin C. Henson, Moshe Deutsch, Steve Reeves

Part III. Postludium

11. Reviews
Dines Bjørner, Martin Henson

DRM-restrictions

Printing: not available
Clipboard copying: not available

Keywords: COMPUTERS / Computer Science COM014000

Author(s)
 
Publisher
Springer
Publication year
2008
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783540741077

Similar titles