close
1.

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

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

図書
図書
3. New trends in constraints : joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers
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.

図書
図書
4. Recent advances in constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary June 30 - July 2, 2003 : selected papers
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.

図書
図書
5. Logics and models of concurrent systems (: Germany ; : U.S.)
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…
6.

図書
図書
6. Formal description of programming concepts (gw ; us)
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼