Tools and algorithms for the construction and analysis of systems : 7th Internationa conference, TACAS 2001 : European conferences on theory and practice of software, ETAPS 2001 : Genova, italy, April 2-6, 2001 : proceedings / Tiziana Magaria ... [et al.] (eds.)

• Record Nr.: UNISA990000463190203316
• Autore: International Conference, TACAS <7. ; 2001 ; Genova ; Italy>
• Pubbl/distr/stampa: Berlino [etc.], copyr. 2001
• ISBN: 3-540-41865-2
• Descrizione fisica: XIV, 588 p. : ill. ; 20 cm
• Collana: Lecture notes in computer science ; 2031
• Disciplina: 004.2
• Collocazione: 001 LNCS (2031)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia