Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005 : held as part of the joint european conferences : on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings / Nicolas Halbwachs, Lenore S. Zuck(eds.)

• Record Nr.: UNISA990003002010203316
• Autore: International Conference, TACAS 2005 : <11. ; : 2005
• Pubbl/distr/stampa: Berlin [etc.] : Springer, [c2005]
• ISBN: 3-540-25333-5
• Descrizione fisica: XVI, 506 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 3440
• Collocazione: 001 LNCS 3440
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia