Lectures on formal methods and performance analysis : 1st EEF/Euro summer school on trends in computer science : Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures / Ed Brinksma ... <et al.> (eds.)

• Record Nr.: UNISA990001029240203316
• Autore: EEF/Euro summer school on trends in computer science
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 2001
• ISBN: 3-540-42479-2
• Descrizione fisica: VI, 429 p. : ill. ; 20 cm
• Collana: Lecture notes in computer science ; 2090
• Disciplina: 004.01
• Collocazione: 001 LNCS (2090)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia