OPAC

Module specifications and constraints
(EATCS monographs on theoretical computer science ; v. 21 . Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr ; v. 2)

データ種別	図書
出版者	Berlin : Tokyo : Springer-Verlag
出版年	c1990
本文言語	英語
大きさ	xi, 427 p. : ill. ; 24 cm
著者標目	*Ehrig, Hartmut Mahr, Bernd

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

別書名	Algebraic specification
一般注記	Bibliography: p. [403]-421 Includes index
件　名	LCSH:Data structures (Computer science) LCSH:Algebra
分　類	LCC:QA76.9.D35 DC19:001.64/2
書誌ID	B000057414
ISBN	0387517995
NCID	BA0792476X