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

所蔵情報QRコード

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. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 785 <BA00009279>

著者名:

ISBN:

9783540578673 [3540578676] (: gw)
9780387578675 [0387578676] (: us)

書誌ID:

BA22667469

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes bibliographical references
主題:	Abstract data types (Computer science)--Congresses
言語:	英語

ブックレビュー

類似資料:

1 電子ブック Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, … Ehrig, Hartmut., Orejas, Fernando., SpringerLink (Online service) Springer Berlin Heidelberg	7 電子ブック Recent Trends in Data Type Specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August … Bidoit, Michel., Choppy, Christine., SpringerLink (Online service) Springer Berlin Heidelberg
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 … (: Berlin ; : New York) Workshop on Specification of Abstract Data Types, Astesiano, E. (Egidio), 1939-, Reggio, Gianna, 1957-, Tarlecki, … Springer-Verlag	8 電子ブック Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May … Astesiano, Egidio., Reggio, Gianna., SpringerLink (Online service) Springer Berlin Heidelberg
3 図書 Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September … Workshop on Specification of Abstract Data Types, Haveraaen, Magne, Owe, Olaf, Dahl, Ole-Johan, 1931-, COMPASS Workshop Springer	9 電子ブック Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September … Haveraaen, Magne., Owe, Olaf., Dahl, Ole-Johan., SpringerLink (Online service) Springer Berlin Heidelberg
4 電子ブック Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings Ehrig, Hartmut., Jantke, Klaus P., Orejas, Fernando., Reichel, Horst., SpringerLink (Online service) Springer Berlin Heidelberg	10 図書 Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers WADT, Bert, Didier, Choppy, C. (Christine), Mosses, Peter D. Springer
5 電子ブック Recent Trends in Data Type Specification Workshop on Specification of Abstract Data Types, Ehrig, Hartmut, Orejas, Fernando SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Recent Trends in Data Type Specification Workshop on Specification of Abstract Data Types, Ehrig, Hartmut SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 図書 Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August … (: gw ; : us) Workshop on Specification of Abstract Data Types, Bidoit, M. (Michel), 1957-, Choppy, C. (Christine), COMPASS Workshop Springer-Verlag	12 図書 Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers WADT, Fiadeiro, José Luiz, 1961-, Mosses, Peter D., Orejas, Fernando Springer

1

2

3

4

5

6

7

8

9

10

11

12