| Record ID | marc_loc_updates/v36.i12.records.utf8:12181225:1956 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i12.records.utf8:12181225:1956?format=raw |
LEADER: 01956nam a22003137a 4500
001 2007936401
003 DLC
005 20080320091621.0
008 070829s2008 gw a b 001 0 eng d
010 $a 2007936401
020 $a3540741062
020 $a9783540741060
035 $a(OCoLC)ocn175285089
040 $aYDXCP$cYDXCP$dBTCTA$dBAKER$dOHX$dUUM$dDLC
042 $alccopycat
050 00 $aQA76.7$b.L65 2008
245 00 $aLogics of specification languages /$cDines Bjørner, Martin C. Henson, editors.
260 $aBerlin :$bSpringer,$cc2008.
300 $aXXI, 623 p. :$bill. ;$c25 cm.
440 0 $aMonographs in theoretical computer science
500 $aIncludes indexes in each chapter.
504 $aIncludes bibliographical references.
505 0 $aAn 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.
650 0 $aProgramming languages (Electronic computers)$xSemantics.
650 0 $aLogic, Symbolic and mathematical.
700 1 $aBjørner, D.$q(Dines),$d1937-
700 1 $aHenson, Martin C.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0826/2007936401-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0826/2007936401-t.html