Opening book details…
Can I read 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) on EtoBox?
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) by Einar Broch Johnsen, Ina Schaefer is a nonfiction available to read on EtoBox.
What is 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) about?
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.
Who reads 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)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Einar Broch Johnsen, Ina Schaefer
- Publisher
- Springer International Publishing : Imprint: Springer
- Published
- 2018
- Language
- EN
- ISBN
- 9783319929699
- Category
- nonfiction
- Subjects
- Business, Programming, Computer Science
More by Einar Broch Johnsen, Ina Schaefer
Browse all works by Einar Broch Johnsen, Ina Schaefer
Similar books
- Tests And Proofs: 12th International Conference, Tap 2018, Held As Part Of Staf 2018, Toulouse, France, June 27-29, 2018, Proceedings (lecture Notes In Computer Science) — Burkhart Wolff Catherine Dubois (2018)
- Graph transformation : 11th international conference, ICGT 2018, held as a part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings — Leen Lambers; Jens Weber, (Professor of Software Engineering) (2018)
- Modelling Foundations And Applications: 14th European Conference, Ecmfa 2018, Held As Part Of Staf 2018, Toulouse, France, June 26-28, 2018, Proceedings (lecture Notes In Computer Science) — Salvador Trujillo Alfonso Pierantonio (2018)
- Theory and Practice of Model Transformation : 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25{u2013}26, 2018, Proceedings — Arend Rensink, Jesús Sánchez Cuadrado (2018)
- Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings (Lecture Notes in Computer Science, 9763) — Rocco De Nicola, Eva Kühn (2016)
- 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)