author = { Bjoerner, Dines AND Bjørner, Dines AND Henson, Martin C. },

title = { Logics of specification languages },

publisher = {Springer},

isbn = {3540741062},

isbn = {9783540741060},

keywords = { Programming languages (Electronic computers) Semantics , Logic, Symbolic and mathematical , Aufsatzsammlung , Spezifikationssprache , Logik , Formale Methode },

year = {2008},

abstract = {Literaturangaben},

abstract = {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},

booktitle = {Monographs in theoretical computer science : an EATCS series},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }