OPAC

Algebraic approaches to program semantics / Ernest G. Manes, Michael A. Arbib
(Texts and monographs in computer science ; . The AKM series in theoretical computer science)

データ種別	図書
出版者	New York : Tokyo : Springer-Verlag
出版年	c1986
本文言語	英語
大きさ	xiii, 351 p. : ill. ; 25 cm
著者標目	*Manes, Ernest G., 1943- Arbib, Michael A.

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

一般注記	Includes indexes
件　名	LCSH:Programming languages (Electronic computers) -- Semantics 全ての件名で検索 LCSH:Algebra
分　類	LCC:QA76.7 DC19:005.13/.1
書誌ID	B000056929
ISBN	0387963243
NCID	BA00221138