Matches in Library of Congress for { <http://lccn.loc.gov/2007936401> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2007936401 contributor B11065600.
- 2007936401 created "c2008.".
- 2007936401 date "2008".
- 2007936401 date "c2008.".
- 2007936401 dateCopyrighted "c2008.".
- 2007936401 description "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.".
- 2007936401 description "Includes bibliographical references.".
- 2007936401 extent "XXI, 623 p. :".
- 2007936401 identifier "3540741062".
- 2007936401 identifier "9783540741060".
- 2007936401 identifier 2007936401-d.html.
- 2007936401 identifier 2007936401-t.html.
- 2007936401 isPartOf "Monographs in theoretical computer science".
- 2007936401 issued "2008".
- 2007936401 issued "c2008.".
- 2007936401 language "eng".
- 2007936401 publisher "Berlin : Springer,".
- 2007936401 subject "005.13 22".
- 2007936401 subject "Logic, Symbolic and mathematical.".
- 2007936401 subject "Programming languages (Electronic computers) Semantics.".
- 2007936401 subject "QA76.7 .L65 2008".
- 2007936401 tableOfContents "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.".
- 2007936401 title "Logics of specification languages / Dines Bjørner, Martin C. Henson, editors.".
- 2007936401 type "text".