Formal Methods : 22nd International Symposium, Fm 2018, Held As Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 15-17, 2018, Proceedings
Havelund, Klaus (EDT); Peleska, Jan (EDT); Roscoe, Bill (EDT); De Vink, Erik (EDT)
ISBN 10: 3319955810 ISBN 13: 9783319955810
Editore: Springer, 2018
Nuovi
Brossura
Da
GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 6 aprile 2009
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Codice articolo 33185609-n
Riassunto:
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.
The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Formal Methods : 22nd International ...
Casa editrice: Springer
Data di pubblicazione: 2018
Legatura: Brossura
Condizione: New