close
1.

図書

図書
contributors, Krzysztof R. Apt ... [et al.] ; edited by Jack Minker
出版情報: Los Altos, Calif. : M. Kaufmann Publishers, c1987  746 p. ; 24 cm
所蔵情報: loading…
2.

図書

図書
Krzysztof R. Apt, Ernst-Rüdiger Olderog
出版情報: New York ; Berlin : Springer, c1997  xvii, 364 p. ; 24 cm
シリーズ名: Graduate texts in computer science
所蔵情報: loading…
3.

図書

図書
Krzysztof R. Apt ... [et al.]
出版情報: Berlin : Springer, c2000  x, 338 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1865 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書

図書
Krzysztof R. Apt ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  viii, 284 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3010 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書

図書
Erich J. Neuhold, Manfred Paul (eds.) ; with contributions by K.R. Apt ... [et al.]
出版情報: Berlin ; New York : Springer-Verlag, c1991  vi, 507 p. ; 24 cm
シリーズ名: IFIP state-of-the-art reports
所蔵情報: loading…
目次情報: 続きを見る
International Symposium Proceedings / P.D. Mosses
A Practical Introduction to Denotational Semantics / E. Astesiano
Inductive and Operational Semantics / D. Bjorner
Specification and Transformation
Methodology Aspects of the Vienna Development Method / M. Wirsing
Algebraic Specification
Semantics, Parameterization and Refinement / M. Broy
Formalization of Distributed, Concurrent, Reactive Systems / K.R. Apt ; E.-R. Olderog
Introduction to Program Verification / L. Cardelli
Typeful Programming
International Symposium Proceedings / P.D. Mosses
A Practical Introduction to Denotational Semantics / E. Astesiano
Inductive and Operational Semantics / D. Bjorner
6.

図書

図書
edited by Krzysztof R. Apt
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  viii, 498 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 13
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼