Foundations of software science and computation structures : 4th International conference, FOSSACS 2001 held as part of the joint European confereces on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings / Furio Honsell ... [et.al.] (eds.)

• Record Nr.: UNISA990000420190203316
• Autore: International conference, FOSSACS 2001 <4. ; 2001 ; Genova, Italia>
• Pubbl/distr/stampa: Berlin [etc.] : Springer - Verlag, copyr. 2001
• ISBN: 3-540-41864-4
• Descrizione fisica: XII, 412 p. : ill. ; 20 cm
• Collana: Lecture notes in computer science ; 2030
• Disciplina: 005.1
• Collocazione: 001 LNCS (2030)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia