The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Logics of specification languages Logics of specification languages
Illustrative Content
LCC: QA76.7 .L65 2008 (Source: dlc)
DDC: 005.13 full (Assigner: dlc)
Identified By
Lccn: 2007936401
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.
Authorized Access Point
Bjørner, D. (Dines), 1937- Logics of specification languages
Authorized Access Point Variant
Henson, Martin C. Logics of specification languages