Tools and algorithms for the construction and analysis of systems : second International workshop, TACAS'96 : Passau, Germany, March 27-29, 1996 : proceedings / Tiziana Margaria ...[et al.] (eds.)

• Record Nr.: UNISA990000206730203316
• Autore: International Workshop TACAS'96 : 2. : 1996
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1996
• ISBN: 3-540-61042-1
• Descrizione fisica: XI, 434 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 1055
• Disciplina: 00512
• Collocazione: 001 LNCS (1055)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia