Treffer: Recent trends in algebraic development techniques
Titel:
Recent trends in algebraic development techniques : 14th international workshop ; selected papers / WADT '99, Châteaux de Bonas, September 15 - 18, 1999. Didier Bert ... (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2000
Umfang:
X, 476 Seiten : Diagramme ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 1827
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540678980