close
1.

図書
図書
1. Formal techniques for data base design (: gw ; : us)
Antonio L. Furtado, Erich J. Neuhold
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  114 p. ; 24 cm
2.

図書
図書
2. Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977
ed. by Erich J. Neuhold
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1978  xviii, 648 p. ; 23 cm
3.

図書
図書
3. Interoperable database systems (DS-5) : proceedings of the IFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5), Lorne, Victoria, Australia, 16-20 November, 1992
edited by David K. Hsiao, Erich J. Neuhold, Ron Sacks-Davis
出版情報: Amsterdam ; New York : North-Holland, 1993  xiii, 347 p. ; 23 cm
シリーズ名: IFIP transactions ; A . Computer science and technology ; 25
4.

図書
図書
4. 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
目次情報: 続きを見る
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
5.

図書
図書
5. データベース設計技術
A.L.フルタード,E.J.ノイホルト共著 ; 渡辺豊英訳
出版情報: 東京 : 啓学出版, 1988.1  xii, 177p ; 22cm
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼