Recent trends in algebraic development techniques : 12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers / Francesco Parisi Presicce (ed.)

• Record Nr.: UNISA990000209020203316
• Autore: International workshop WADT'97 : 12. : 1997
• Pubbl/distr/stampa: Berlin : Springer, copyr. 1998
• ISBN: 3-540-64299-4
• Descrizione fisica: VIII, 433 p : ill. ; 23 cm
• Collana: Lecture notes in computer science ; 1376
• Disciplina: 005131
• Collocazione: 001 LNCS (1376)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia