Abstract data types (Computer science) - Congresses.
Overview
| Works: | 11 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Quality of communication-based systems : = proceedings of a n international workshop held at the TU Berlin, Germany, September 1994 /
by:
(Language materials, printed)
Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers /
by:
(Language materials, printed)
Algebraic methodology and software technology = 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings /
by:
(Language materials, printed)
Algebraic methodology and software technology = 6th international conference, AMAST'97, Sydney, Australia, December 13-17, 1997 : proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers /
by:
(Electronic resources)
Recent trends in algebraic development techniques = 14th international workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers /
by:
(Electronic resources)
Algebraic methodology and software technology = 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings /
by:
(Language materials, printed)
Show more
Fewer
Subjects