OPAC

Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch
(Texts and monographs in computer science)

データ種別	図書
出版者	Berlin : New York : Springer-Verlag
出版年	c1990
本文言語	英語
大きさ	xiii, 493 p. ; 25 cm
著者標目	*Partsch, Helmut A., 1950-

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

一般注記	Includes bibliographical reference(p.[456]-474) and index
件　名	LCSH:Computer software -- Development 全ての件名で検索
分　類	LCC:QA76.76.D47 DC20:005.1
書誌ID	B000075580
ISBN	3540523561
NCID	BA10516659