1.
Record Nr.
UNISA990003076040203316
Autore
International workshop, WADT 2006 : <18.; : 2006
Titolo
Recent trends in algebraic development techniques : 18th international workshop, WADT 2006 : La Roche en Ardenne, Belgium, June 2006 : revised selected papers / José Luiz Fiadeiro, Pierre-Yves-Schobbens (Eds.)
Pubbl/distr/stampa
Berlin [etc.] : Springer, copyr. 2007
ISBN
978-3-540-71997-7
Descrizione fisica
170 p. : ill. ; 24 cm.
Collana
Lecture notes in computer science ; 4409
Collocazione
001 LNCS 4409
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia