Tools and algorithms for the construction and analysis of systems : 8th Internationa conference, TACAS 2002 : Held as part of the joint european conference on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings / Joost-Pieter Katoen... [et al.] (eds.)

• Record Nr.: UNISA990001116210203316
• Autore: International Conference, TACAS 2002 <8. ; 2002 ; Grenoble ; France>
• Pubbl/distr/stampa: Berlin [etc.], copyr. 2002
• ISBN: 3-540-43419-4
• Descrizione fisica: XIV, 482 p. : ill. ; 20 cm
• Collana: Lecture notes in computer science ; 2280
• Disciplina: 004.2
• Collocazione: 001 LNCS (2280)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia