Opening book details…
Can I read 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) on EtoBox?
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) by Rocco De Nicola, Eva Kühn (eds.) is a nonfiction available to read on EtoBox.
What is 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) about?
This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.
Who reads 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)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Rocco De Nicola, Eva Kühn (eds.)
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2016
- Language
- EN
- ISBN
- 9783319415918
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Computer Science
More by Rocco De Nicola, Eva Kühn (eds.)
Browse all works by Rocco De Nicola, Eva Kühn (eds.)
Similar books
- Theory and Practice of Model Transformations: 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings (Lecture Notes in Computer Science, 9765) — Pieter Van Gorp, Gregor Engels (2016)
- Graph Transformation : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held As Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings — Mark Minas Rachid Echahed (2016)
- 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)
- 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 Quality: the Future of Systems- and Software Development : 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016 : Proceedings — Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (2016)
- Web Services And Formal Methods: Third International Workshop, Ws-fm 2006, Vienna, Austria, September 8-9, 2006, Proceedings (lecture Notes In Computer Science) — W. M. P. van der Aalst, M. Pesic (auth.), Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (2006)