MARC Record from marc_columbia

LEADER: 02263cam a2200361Ia 4500
001 6477166
005 20221122034435.0
008 071019t20082008gw a b 001 0 eng d
010 $a 2007936401
020 $a3540741062
020 $a9783540741060
029 1 $aOHX$bhar070124560
035 $a(OCoLC)ocn175285089
035 $a(OCoLC)175285089
035 $a(NNC)6477166
035 $a6477166
040 $aYDXCP$cYDXCP$dBTCTA$dBAKER$dOHX$dUUM
090 $aQA76.7$b.L64 2008
245 00 $aLogics of specification languages /$cDines Bjørner, Martin C. Henson, editors.
260 $aBerlin :$bSpringer,$c[2008], ©2008.
300 $aXXI, 623 pages :$billustrations ;$c25 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $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.$0http://id.loc.gov/authorities/subjects/sh85107316
650 0 $aLogic, Symbolic and mathematical.$0http://id.loc.gov/authorities/subjects/sh85078115
700 1 $aBjørner, D.$q(Dines),$d1937-$0http://id.loc.gov/authorities/names/n82058414
700 1 $aHenson, Martin C.$0http://id.loc.gov/authorities/names/n86065843
830 0 $aMonographs in theoretical computer science.$0http://id.loc.gov/authorities/names/n95057845
852 00 $boff,eng$hQA76.7$i.L64 2008g