Vai al contenuto principale della pagina

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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: FM 2008: formal methods : 15th International Symposium on Formal Methods : Turku, Finland, May 2008 : proceedings / Jorge Cuellar, Tom Maibaum, Kaisa Sere...[et al.](eds.) Visualizza cluster
Pubblicazione: Berlin[etc.] : Springer, copyr. 2008
Descrizione fisica: XIII, 436 p. ; 24 cm
Disciplina: 005.74
Soggetto topico: Elaborazione Elettronica - Congressi - Turku - 2008
Persona (resp. second.): CUELLAR, Jorge
MAIBAUM, Tom
SERE, Kaisa
Titolo autorizzato: FM 2008: Formal Methods  Visualizza cluster
ISBN: 978-3-540-68235-6
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990003128810203316
Lo trovi qui: Univ. di Salerno
Collocazione: 001 LNCS 5014
Opac: Controlla la disponibilità qui
Serie: Lecture notes in computer science
Fa parte di: Lecture notes in computer science
Biblioteca: Univ. di Salerno
Opac: Controlla la disponibilità qui