Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 9.99 €
Shopping guide
My account
▸
Empty :-(
0
Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Language
English
English
E-book
Adobe ePub DRM
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods...
Full description
Libristo code: 41048772
?
258 b
258 b
106.71
€
In stock
Immediate digital delivery
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Formal Methods
Author
Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
Language
English
English
Binding
E-book - Adobe ePub DRM
Date of issue
2018
EAN
9783319955827
Libristo code
41048772
Publishers
Springer
