FM 2008: formal methods : 15th International Symposium on Formal Methods : Turku, Finland, May 2008 : proceedings / Jorge Cuellar, Tom Maibaum, Kaisa Sere...[et al.](eds.)

• Record Nr.: UNISA990003128810203316
• Pubbl/distr/stampa: Berlin[etc.] : Springer, copyr. 2008
• ISBN: 978-3-540-68235-6
• Descrizione fisica: XIII, 436 p. ; 24 cm
• Collana: Lecture notes in computer science ; 5014
• Disciplina: 005.74
• Soggetti: Elaborazione Elettronica - Congressi - Turku - 2008
• Collocazione: 001 LNCS 5014
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia