<図書>

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.)

(Lecture notes in computer science;785)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 : Berlin 39:L:1.785 2012510059

7059/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1994
大きさ viii, 350 p. : ill. ; 24 cm
一般注記 Includes bibliographical references
著者標目 *Workshop on Specification of Abstract Data Types (9th : 1992 : Caldes de Malavella, Spain)
Ehrig, Hartmut
Orejas, Fernando
COMPASS Workshop (4th : 1992 : Caldes de Malavella, Spain)
件 名 LCSH:Abstract data types (Computer science) -- Congresses
分 類 LCC:QA76.9.A23
DC20:005.7/3
本文言語 英語
書誌ID 2000347170
ISBN 3540578676
NCID BA22667469 WCLINK

類似資料

  1. 1 Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers / Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)
  2. 2 Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
  3. 3 A systematic catalogue of reusable abstract data types / Jürgen Uhl, Hans Albrecht Schmid
  4. 4 Abstract data types in standard ML / Rachel Harrison
  5. 5 Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A. Tarlecki (eds.)
  6. 6 Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers / M. Bidoit, C. Choppy (eds.)
  7. 7 Abstract data types : their specification, representation, and use / Pete Thomas, Hugh Robinson, and Judy Emms
  8. 8 Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings / H. Ehrig ... [et al.], (eds.)
  9. 9 Data structures, algorithms, and performance / Derick Wood
  10. 10 Algebraic specification / edited by J.A. Bergstra, J. Heering, P. Klint

検索結果一覧に戻る ページトップ