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: Foundations and Applications
23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
Language
English
English
E-book
Adobe ePub DRM
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SB...
Full description
Libristo code: 41010075
?
179 b
179 b
73.76
€
In stock
Immediate digital delivery
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.Chapter 'Safety Assurance of a High Voltage Controller for an Industrial Robotic System' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
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: Foundations and Applications
Author
Gustavo Carvalho, Volker Stolz
Language
English
English
Binding
E-book - Adobe ePub DRM
Date of issue
2020
EAN
9783030638825
Libristo code
41010075
Publishers
Springer
