東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Mosses Peter D.)
該当件数:3件
CASL reference manual : the complete documentation of the Common Algebraic Specification Language / Peter D. Mosses (ed.)
Berlin ; Tokyo : Springer , c2004. - (Lecture notes in computer science ; 2960)
図書
Action semantics.
Cambridge, : Cambridge University Press, , 1992.. - (Cambridge tracts in theoretical computer science. ; 26.)
CASL user manual : introduction to using the Common Algebraic Specification Language / Michel Bidoit, Peter D. Mosses ; with chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki
Berlin ; Tokyo : Springer , c2004. - (Lecture notes in computer science ; 2900)