Opening book details…
Can I read Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering) on EtoBox?
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering) by Sérgio Campos (editor), Marius Minea (editor) is a computer science book available to read on EtoBox.
What is Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering) about?
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually.<br> The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners
Who reads Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Sérgio Campos (editor), Marius Minea (editor)
- Publisher
- Springer International Publishing AG
- Published
- 2021
- Language
- EN
- ISBN
- 9783030921361
- Category
- computer science
- Subjects
- Engineering, Mathematics, Computer Science
- Updated
- 2026-03-25
Other editions & translations
More by Sérgio Campos (editor), Marius Minea (editor)
Browse all works by Sérgio Campos (editor), Marius Minea (editor)
Similar books
- Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings — Marieke Huisman; Corina Păsăreanu; Naijun Zhan (2021)
- Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings — Christiano Braga, Narciso Martí-Oliet (2015)
- Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers — Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (2011)
- Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings (Lecture Notes in Computer Science (7498)) — John Rushby (auth.), Rohit Gheyi, David Naumann (2012)
- Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Lecture Notes in Computer Science, 11254) (2018)
- Mathematical and Computational Oncology : Third International Symposium, ISMCO 2021, Virtual Event, October 11-13, 2021 : Proceedings — George Bebis, Terry Gaasterland, Mamoru Kato, Mohammad Kohandel, Kathleen Wilkie, Takis Benos, Ken Chen, Katharina Jahn, Ernesto Lima (2021)