Tools and algorithms for the construction and analysis of systems : International conference, TACAS '99 held as part of the joint European conferences on theory and practice of software, ETAPS '99 : Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / W. Rance Cleaveland (ed.)

• Record Nr.: UNISA990000207740203316
• Autore: International conference TACAS '99 : 5. : 1999
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1999
• ISBN: 3-540-65703-7
• Descrizione fisica: XI, 443 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 1579
• Disciplina: 00421
• Collocazione: 001 LNCS (1579)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia