Integrated Formal Methods
ISBN 10: 3642307280 ISBN 13: 9783642307287
Editore: Springer, 2012
Nuovi
Brossura
Da
Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Venditore AbeBooks dal 19 gennaio 2007
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
pp. 374 105 Illus. Codice articolo 55080967
Riassunto:
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, I.F.M. 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.
Dalla quarta di copertina: This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Integrated Formal Methods
Casa editrice: Springer
Data di pubblicazione: 2012
Legatura: Brossura
Condizione: New