Formal methods for performance evaluation : 7th international school on formal methods for the design of computer, communication and software systems, SFM 2007 : Bertinoro, Italy, May 28-June 2, 2007 : proceedings / Marco Bernardo, Jane Hillston (Eds.)

• Record Nr.: UNISA990003147180203316
• Pubbl/distr/stampa: Berlin [etc.] : Springer, copyr. 2007
• ISBN: 978-3-540-72482-7
• Descrizione fisica: VI, 467 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science , Tutorial ; 4486
• Disciplina: 621.382
• Soggetti: Sistemi di comunicazione digitale - Congressi - Bertinoro - 2007; Elaboratori elettronici - Congressi - Bertinoro - 2007
• Collocazione: 001 LNCS 4486
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia