仙台高等専門学校

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October, 26-30, 1992 : selected papers

Hartmut Ehrig, Fernando Orejas, (eds.) ; : gw, : us. -- Springer-Verlag, 1994. -- (Lecture notes in computer science ; 785). <BB02926012>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 コメント 返却予定日 予約
0001 : gw 仙台(広瀬) (広瀬)第一書庫 007.6||L6||785 S00077393 0件
No. 0001
巻号 : gw
所蔵館 仙台(広瀬)
配置場所 (広瀬)第一書庫
請求記号 007.6||L6||785
資料ID S00077393
状態
コメント
返却予定日
予約 0件

書誌詳細

標題および責任表示 Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October, 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, (eds.)
出版・頒布事項 Berlin ; Tokyo : Springer-Verlag , c1994
形態事項 viii, 350 p. : ill. ; 24 cm
巻号情報
巻次等 : gw
ISBN 3540578676
巻号情報
巻次等 : us
ISBN 0387578676
書誌構造リンク Lecture notes in computer science <BB00069617> 785//a
注記 Includes bibliographical references
学情ID BA22667469
本文言語コード 英語
著者標目リンク *Workshop on Specification of Abstract Data Types <AU00021516> (9th : 1992 : Caldes de Malavella, Spain)
著者標目リンク Ehrig, Hartmut <AU00021517>
著者標目リンク Orejas, Fernando <AU00021518>
著者標目リンク COMPASS Workshop <AU00021519> (4th : 1992 : Caldes de Malavella, Spain)
分類標目 LCC:QA76.9.A23
分類標目 DC20:005.7/3
件名標目等 Abstract data types (Computer science) -- Congresses