Opening book details…
Can I read Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings on EtoBox?
Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings by Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.) is a nonfiction available to read on EtoBox.
What is Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings about?
Annotation This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods
Who reads Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2011
- Language
- EN
- ISBN
- 9783642338250
- Category
- nonfiction
- Subjects
- Engineering, Programming, Computer Science
More by Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)
Browse all works by Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)
Similar books
- Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings — J. -R. Abrial (auth.), Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (2007)
- Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings — Dimitra Giannakopoulou and Gwen Salaün (2014)
- Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings — Luke Ong Zhenhua Duan (2017)
- Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings — Stephan Merz and Jun Pang (2014)
- Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings — Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet, Paul Pettersson (auth.), Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti (2013)
- Formal concept analysis : 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings — Sašo Džeroski (auth.), Petko Valtchev, Robert Jäschke (2011)
