Tools and algorithms for the construction and analysis of systems : 3rd International workshop, TACAS'97 : Enschede, The Netherlands, April 1997 : proceedings / Ed Brinksma (ed.)

• Record Nr.: UNISA990000205020203316
• Autore: International workshop TACAS'97 : 3. : 1997
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1997
• ISBN: 3-540-62790-1
• Descrizione fisica: X, 431 p. : ill. ; 23 cm
• Collana: Lecture notes in computer science ; 1217
• Disciplina: 00512
• Collocazione: 001 LNCS (1217)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia