OPAC

Equations and initial semantics / H. Ehrig, B. Mahr
(EATCS monographs on theoretical computer science ; v. 6 . Fundamentals of algebraic specification ; v. 1)

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

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

別書名	異なりアクセスタイトル:Algebraic specification
一般注記	Bibliography: p. [307]-315 Includes index
件　名	LCSH:Data structures (Computer science) LCSH:Algebra
分　類	LCC:QA76.9.D35 DC19:001.64/2
書誌ID	B000075313
ISBN	0387137181
NCID	BA0000731X