Opening book details…
Can I read Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings on EtoBox?
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings by Christiano Braga, Narciso Martí-Oliet (eds.) is a nonfiction available to read on EtoBox.
What is Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings about?
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.
Who reads Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Christiano Braga, Narciso Martí-Oliet (eds.)
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2015
- Language
- EN
- ISBN
- 9783642250316
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Mathematics
More by Christiano Braga, Narciso Martí-Oliet (eds.)
Browse all works by Christiano Braga, Narciso Martí-Oliet (eds.)
Similar books
- Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Lecture Notes in Computer Science (8195)) — Christiano Braga, Cássio Santos (auth.), Juliano Iyoda, Leonardo de Moura (2013)
- 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 : 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: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings (Lecture Notes in Computer Science, 10623) — Simone Cavalheiro; José Fiadeiro; Brazilian Symposium on Formal Methods (2017)
- Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Lecture Notes in Computer Science, 11254) (2018)