<図書>

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

(Lecture notes in computer science;534)

所蔵情報を非表示

1

本郷キャンパス

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

6018/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1991
大きさ viii, 379 p. : ill. ; 25 cm
一般注記 Includes bibliographical references
著者標目 *Workshop on Specification of Abstract Data Types (7th : 1990 : Wusterhausen/Dosse, Germany)
Ehrig, Hartmut
件 名 LCSH:Abstract data types (Computer science) -- Congresses
分 類 LCC:QA76.9.A23
DC19:005.7/3
NDC8:007.6
本文言語 英語
書誌ID 2000212720
ISBN 3540544968
NCID BA13103848 WCLINK

類似資料

  1. 1 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.)
  2. 2 Abstract data types : their specification, representation, and use / Pete Thomas, Hugh Robinson, and Judy Emms
  3. 3 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.)
  4. 4 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.)
  5. 5 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.)
  6. 6 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.)
  7. 7 A systematic catalogue of reusable abstract data types / Jürgen Uhl, Hans Albrecht Schmid
  8. 8 Abstract data types in standard ML / Rachel Harrison
  9. 9 Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types : selected papers / edited by H.-J. Kreowski
  10. 10 Algebraic specification / edited by J.A. Bergstra, J. Heering, P. Klint

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