OPAC

Larch : languages and tools for formal specification / John V. Guttag, James J. Horning : with S.J. Garland ... [et al.]
(Texts and monographs in computer science)

データ種別	図書
出版者	New York : Springer-Verlag
出版年	c1993
本文言語	英語
大きさ	xiii, 250 p. ; 25 cm
著者標目	*Guttag, John Horning, J. J. (James J.)

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

一般注記	Includes bibliographical references (p. [230]-238) and index
件　名	LCSH:Electronic digital computers -- Programming 全ての件名で検索 LCSH:Computer software -- Development 全ての件名で検索 LCSH:Larch (Computer program language)
分　類	LCC:QA76.6 DC20:005.1/2
書誌ID	B000036450
ISBN	0387940065
NCID	BA19580147