1.
Record Nr.
UNINA990009247940403321
Titolo
Recent Trends in Algebraic Development Techniques [Risorsa elettronica] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / edited by José Luiz Fiadeiro, Pierre-Yves Schobbens
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2007
ISBN
9783540719984
Collana
Lecture Notes in Computer Science , 0302-9743 ; 4409
Lingua di pubblicazione
Inglese
Formato
Risorsa elettronica
Livello bibliografico
Monografia