図書

Formal methods and software development / Colloquium on Software Engineering (CSE) ; edited by Hartmut Ehrig ... [et al.]. (Lecture notes in computer science) (Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2)

図書を表すアイコン

Formal methods and software development / Colloquium on Software Engineering (CSE) ; edited by Hartmut Ehrig ... [et al.].

(Lecture notes in computer science) (Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2)

国立国会図書館請求記号
M15-A3971
国立国会図書館書誌ID
000003123904
資料種別
図書
著者
Colloquium on Software Engineering (1985 : Berlin, Germany)ほか
出版者
Springer-Verlag
出版年
c1985.
資料形態
紙
ページ数・大きさ等
xiv, 455 p. : ill. ; 25 cm.
NDC
-
すべて見る

書店で探す

書店で探す

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別
図書
ISBN
0387151990 (U.S. : pbk.)
タイトル
Formal methods and software development / Colloquium on Software Engineering (CSE) ; edited by Hartmut Ehrig ... [et al.].
シリーズタイトル
Lecture notes in computer science
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2
タイトル標目
International Joint Conference on Theory and Practice of Software Development (1985 : Berlin, Germany) Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) , Berlin, March 25-29, 1985 ; v. 2.
著者標目
Colloquium on Software Engineering (1985 : Berlin, Germany)
Ehrig, Hartmut.
Colloquium on Software Engineering.
出版事項
Berlin : Springer-Verlag
New York : Springer-Verlag
出版年月日等
c1985.
出版年（W3CDTF）
1985
数量
xiv, 455 p. : ill. ; 25 cm.