Opening book details…
Can I read Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings (Lecture Notes in Computer Science, 10623) on EtoBox?
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings (Lecture Notes in Computer Science, 10623) by Simone Cavalheiro; José Fiadeiro; Brazilian Symposium on Formal Methods is a nonfiction available to read on EtoBox.
What is Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings (Lecture Notes in Computer Science, 10623) about?
Annotation This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017. The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages. The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license
Who reads Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings (Lecture Notes in Computer Science, 10623)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Simone Cavalheiro; José Fiadeiro; Brazilian Symposium on Formal Methods
- Publisher
- Springer International Publishing : Imprint: Springer
- Published
- 2017
- Language
- EN
- ISBN
- 9783319708478
- Category
- nonfiction
- Subjects
- Computer Science, Business, Engineering
More by Simone Cavalheiro; José Fiadeiro; Brazilian Symposium on Formal Methods
Browse all works by Simone Cavalheiro; José Fiadeiro; Brazilian Symposium on Formal Methods
Similar books
- 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: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Lecture Notes in Computer Science, 11254) (2018)
- 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 ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers — Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (2009)
- Formal methods : foundations and applications : 24th Brazilian Symposium, SBMF 2021, virtual event, December 6-10, 2021 : proceedings — Sérgio Campos; Marius Minea (2021)