Opening book details…
Can I read Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science Book 9276) on EtoBox?
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science Book 9276) by Radu Calinescu, Bernhard Rumpe (eds.) is a nonfiction available to read on EtoBox.
What is Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science Book 9276) about?
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.
Who reads Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science Book 9276)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Radu Calinescu, Bernhard Rumpe (eds.)
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2015
- Language
- EN
- ISBN
- 9783319229683
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Mathematics
Other editions & translations
More by Radu Calinescu, Bernhard Rumpe (eds.)
Browse all works by Radu Calinescu, Bernhard Rumpe (eds.)
Similar books
- 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 Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Lecture Notes in Computer Science, 9268) — Enrico Vicario Sriram Sankaranarayanan (2015)
- Software Engineering And Formal Methods: 10th International Conference, Sefm 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (lecture Notes In Computer Science) — Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (2012)
- Software Engineering And Formal Methods: 17th International Conference, Sefm 2019, Oslo, Norway, September 18-20, 2019, Proceedings (lecture Notes In Computer Science) — Peter Csaba Ölveczky, Gwen Salaün, Dimitra Giannakopoulou (2019)
- Formal Methods And Software Engineering: 7th International Conference On Formal Engineering Methods, Icfem 2005, Manchester, Uk, November 1-4, 2005 : Proceedings 7th International Conference On Formal Engineering Methods International Conference On Formal Engineering Methods Icfem 2005 — Anthony Hall (auth.), Kung-Kiu Lau, Richard Banach (2005)
- Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings (Lecture Notes in Computer Science, 10886) — Einar Broch Johnsen, Ina Schaefer (2018)