Cover Image

Logics of specification languages /

Show other versions (1)
Bibliographic Details
Other Authors: Bjørner, D. (Dines), 1937-, Henson, Martin C.
Format: Book
Language:English
Published: Berlin : Springer, [2008]
Series:Monographs in theoretical computer science.
Subjects:
Programming languages (Electronic computers) > Semantics.
Logic, Symbolic and mathematical.
Online Access:Publisher description
Table of contents only
Table of Contents:
  • An Overview / Dines Bjørner and Martin C. Henson
  • Abstract State Machines for the classroom / Wolfgang Reisig
  • The event-B modelling method: concepts and case studies / Dominique Cansell and Dominique Méry
  • A methodological guide to the CafeOBJ logic / Răzvan Diaconescu
  • CASL, the Common Algebraic Specification Language / T. Mossakowski, A. Haxthausen, D. Sannella and A. Tarlecki
  • Duration calculus / Michael R. Hansen
  • The logic of the RAISE specification language / Chris George and Anne E. Haxthausen
  • The specification language TLA+ / Stephan Merz
  • The typoed logic of partial functions and the Vienna development method / John S. Fitzgerald
  • Z logic and its applications / M. C. Henson, M. Deutsch and S. Reeves
  • Reviews / Dines Bjørner and Martin C. Henson.