>> Google Books
タイトル、所在を表示します

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.)
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1991
形態:
viii, 379 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 534 <BA00009279>
書誌ID:
BA13103848
ISBN:
9783540544968 [3540544968] (: gw)
9780387544960 [0387544968] (: us)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, …

Workshop on Specification of Abstract Data Types, Ehrig, Hartmut, Orejas, Fernando, COMPASS Workshop

Springer-Verlag
7 図書 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
2 図書 Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers

Workshop on Specification of Abstract Data Types, Sannella, Donald, 1956-, Tarlecki, Andrzej, 1956-

Springer-Verlag
8 図書 Algebraic methodology and software technology : 6th international conference, AMAST'97, Sydney, Australia, December 13-17, 1997 : proceedings

International Conference on Algebraic Methodology and Software Technology, Johnson, Michael

Springer-Verlag
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 図書 Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings

International Conference on Algebraic Methodology and Software Technology, Wirsing, M. (Martin), Nivat, Maurice

Springer
4 図書 Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May …

Workshop on Specification of Abstract Data Types, Astesiano, E. (Egidio), 1939-, Reggio, Gianna, 1957-, Tarlecki, &hellip;

Springer-Verlag
10 図書 Algebraic methodology and software technology : 7th International Conference, AMAST '98, Amazonia, Brazil, January 4-8, 1999 : proceedings

International Conference on Algebraic Methodology and Software Technology, Haeberer, Armando Martín, 1947-

Springer
5 図書 Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August …

Workshop on Specification of Abstract Data Types, Bidoit, M. (Michel), 1957-, Choppy, C. (Christine), COMPASS Workshop

Springer-Verlag
11 図書 Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings

International Conference on Algebraic Methodology and Software Technology, Alagar, Vangalur S., 1940-, Nivat, Maurice

Springer-Verlag
6 図書 Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings

Bläsius, Karl Hans, 1952-, Hedtstück, Ulrich, 1951-, Rollinger, Claus-Rainer, 1950-

Springer-Verlag
12 図書 Algebraic methodology and software technology : 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

International Conference on Algebraic Methodology and Software Technology, Rus, Teodor

Springer