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

>> Google Books

所蔵情報QRコード

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

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1993

形態:

x, 344 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 655 <BA00009279>

著者名:

ISBN:

9783540563792 [3540563792] (: gw)
9780387563794 [0387563792] (: us)

書誌ID:

BA19433255

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

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

ブックレビュー

類似資料:

1 電子ブック 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	7 図書 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
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 : 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
3 図書 Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, … (: gw ; : us) Workshop on Specification of Abstract Data Types, Ehrig, Hartmut, Orejas, Fernando, COMPASS Workshop Springer-Verlag	9 電子ブック Recent Trends in Data Type Specification : Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers Sannella, Donald., SpringerLink (Online service) Springer Berlin Heidelberg
4 電子ブック 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	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 : 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	11 電子ブック Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers Bert, Didier., Choppy, Christine., Mosses, Peter., SpringerLink (Online service) Springer Berlin Heidelberg
6 電子ブック Recent Trends in Data Type Specification Bidoit SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック 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

1

2

3

4

5

6

7

8

9

10

11

12