このページのリンク

Logics of specification languages / Dines Bjørner, Martin C. Henson, editors.
(Monographs in theoretical computer science)

データ種別 図書
出版者 Berlin : Springer
出版年 c2008.
大きさ xxi, 623 p. : ill. ; 25 cm.
目次/あらすじ

所蔵情報を非表示


GF:BOOK.SHELF 007.64/B51kz 06681708
3540741062

書誌詳細を非表示

内容注記 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 Razvan 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 typed 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.
一般注記 Includes indexes in each chapter.
Includes bibliographical references.
著者標目 Bjørner, D.(1937-)
Henson, Martin C.
件 名 Programming languages (Electronic computers)--Semantics.
Logic, Symbolic and mathematical.
分 類 NDC:007.64
書誌ID 1000301256
ISBN 3540741062

 類似資料