OPAC

Formal program development : IFIP TC 2/WG 2.1 state of the art report / Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
(Lecture notes in computer science ; 755)

データ種別	図書
出版者	Berlin : Tokyo : Springer-Verlag
出版年	c1993
本文言語	英語
大きさ	371 p. : ill. ; 24 cm
著者標目	Möller, Bernhard, 1953- Partsch, Helmut A., 1950- Schuman, Steve, 1950- IFIP TC 2/WG 2.1

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
755	射水-2階-洋書	007.6\|\|L49\|\|755	101144574						予約		予約

一般注記	Includes bibliographical references
件　名	LCSH:Computer software -- Development 全ての件名で検索 LCSH:Electronic digital computers -- Programming 全ての件名で検索
分　類	LCC:QA76.76.D47 DC20:005.1
書誌ID	B000057650
ISBN	3540574999
NCID	BA2150366X