FM 2009: Formal Methods - 9783642050886
Un libro in lingua di Cavalcanti Ana (EDT) Dams Dennis (EDT) edito da Springer-Verlag New York Inc, 2009
- € 183.00
- Il prezzo è variabile in funzione del cambio della valuta d’origine
This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in November 2009 in the course of the first International Formal Methods Week, FMWeek 2009.The 45 revised full papers presented together with 5 invited papers and 3 additional papers from the Industry Day were carefully reviewed and selected from 139 submissions. The papers are organized in topical sections on model checking, compositionality, verification, concurrency, refinement, static analysis, theorem proving, semantics, industrial applications, object-orientation, pointers, real-time, tools and industrial applications, and industry-day abstracts.
Informazioni bibliografiche
- Titolo del Libro in lingua: FM 2009: Formal Methods
- Sottotitolo: Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings
- Lingua: English
- Autori : Cavalcanti Ana (EDT) Dams Dennis (EDT)
- Editore: Springer-Verlag New York Inc
- Collana: Springer-Verlag New York Inc (Paperback)
- Data di Pubblicazione: 15 Dicembre '09
- Genere: COMPUTERS
- Argomenti : Computer software Development Congresses Formal methods (Computer science) Congresses System design Mathematics Congresses
- Pagine: 820
- Dimensioni mm: 234 x 152 x 31
- ISBN-10: 3642050883
- EAN-13: 9783642050886