Skip to contents

Fiadeiro, José Luiz [Editor] ; WADT 17 2004 Barcelona

Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27 - 29, 2004 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3423
Wirsing, Martin [Editor]; Pattinson, Dirk [Editor]; Hennicker, Rolf [Editor] ; WADT 16 2002 Chiemsee-Frauenchiemsee

Recent trends in algebraic development techniques : 16th international workshop, Frauenchiemsee, Germany, September 24 - 27, 2002 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2755
Kirchner, Hélène [Editor] ; AMAST 9 2002 Saint-Gilles-les-Bains

Algebraic methodology and software technology : 9th international conference ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2422
Rus, Teodor [Editor] ; AMAST 8 2000 Iowa City, Iowa

Algebraic methodology and software technology : 8th international conference ; Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York [u.a.]: Springer, 2000

Published in: Lecture notes in computer science ; 1816
Cerioli, Maura [Editor] ; WADT 15 2001 Genua

Recent trends in algebraic development techniques : 15th international workshop; WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001; selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Lecture notes in computer science ; 2267
Haeberer, Armando Martín [Editor] ; AMAST 7 1998 Amazonia

Algebraic methodology and software technology : 7th international conference ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999

Published in: Lecture notes in computer science ; 1548
Fiadeiro, José Luiz [Editor] ; WADT 13 1998 Lissabon

Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999

Published in: Lecture notes in computer science ; 1589
Corradini, Andrea [Editor]; Montanari, Ugo [Other] ; WADT 19 2008 Pisa

Recent trends in algebraic development techniques : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5486
Fiadeiro, José Luiz [Editor]; Schobbens, Pierre Yves [Other] ; WADT 18 2006 La Roche-en-Ardenne

Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4409
Astesiano, Egidio [Editor]; Reggio, Gianna [Other]; Tarlecki, Andrzej [Other] ; Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Working Group Comprehensive Algebraic Approach to System Specification and Development, Workshop on Specification of Abstract Data Types 10 1994 Santa Margherita Ligure, COMPASS Workshop 5 1994 Santa Margherita Ligure

Recent trends in data type specification : selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1995

Published in: Lecture notes in computer science ; 906
Ehrig, Hartmut [Editor] ; International Workshop on Categorical Methods in Computer Science with Aspects from Topology 1988 Berlin, West

Categorical methods in computer science : with aspects from topology ; [in September 1988 the International Workshop on ... was held in Berlin (West)]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1989

Published in: Lecture notes in computer science ; 393
Bergstra, J. A. [Other]; Heering, J. [Other]; Klint, Paul [Other]; Bergstra, Jan A. [Editor]

Algebraic specification - [1. printed]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wokingham, England [u.a.]: Addison-Wesley [u.a.], 1989

Published in: ACM Press frontiers series
Alagar, Vangalur S. [Editor] ; AMAST 4 1995 Montréal

Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1995

Published in: Lecture notes in computer science ; 936
Shumate, Kenneth C. [Author]

Understanding ADA : with abstract data types - [2. ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York [u.a.]: Wiley, 1989
Nordström, Bengt [Author]

Programming with abstracts data types : some examples

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Umea: Umea Univ., Dep. of Information Processing, 1978

Published in: Institutionen för Informationsbehandling: Report ; 63
Bothe, Klaus [Author]

Specification and verification of abstract data types

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Humboldt-Univ., 1979

Published in: Humboldt-Universität zu Berlin: Seminarberichte ; 13
Tucker, John V. [Author]; Zucker, Jeffery I. [Author]

Program correctness over abstract data types, with error-state semantics

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: North-Holland, 1988

Published in: Centrum voor Wiskunde en Informatica: CWI monographs ; 500
Bothe, Klaus [Author]

Restructuring a compiler by abstract data types : an experiment in using data abstractions for software modularization

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Humboldt-Univ., 1981

Published in: Humboldt-Universität zu Berlin: Seminarberichte ; 40
Kreowski, Hans-Jörg [Editor] ; Workshop on Theory and Applications of Abstract Data Types 3 1984 Bremen

Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types ; selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1985

Published in: Informatik-Fachberichte ; 116
Forbrig, Peter [Author]

Introduction to programming by abstract data types : with 53 examples, 59 exercises and CD-ROM

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Fachbuchverl. Leipzig im Carl Hanser Verl., 2001

Published in: Informatik interaktiv

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication