Recent trends in algebraic development techniques: 16th international workshop, wadt 2002, frauenchiemsee, germany, september 24-27, 2002, revised selected papers
Auteur :
Wirsing, Martin
ISBN :
9783540205371
Date de publication :
24 nov. 2003
Dimensions :
23,4 x 15,6 x 2,4 cm
Poids :
657 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002.