Opening book details…
Can I read Leveraging applications of formal methods, verification and validation : distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part III on EtoBox?
Leveraging applications of formal methods, verification and validation : distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part III by Tiziana Margaria-Steffen; Bernhard Steffen is a computer science book available to read on EtoBox.
What is Leveraging applications of formal methods, verification and validation : distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part III about?
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of mode
Who reads Leveraging applications of formal methods, verification and validation : distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part III?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Tiziana Margaria-Steffen; Bernhard Steffen
- Publisher
- Springer International Publishing : Imprint: Springer
- Published
- 2018
- Language
- EN
- ISBN
- 9783030034269
- Category
- computer science
- Subjects
- Engineering, Business, Programming
- Updated
- 2026-03-25
More by Tiziana Margaria-Steffen; Bernhard Steffen
Browse all works by Tiziana Margaria-Steffen; Bernhard Steffen
Similar books
- Leveraging applications of formal methods, verification and validation : technologies for mastering change ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings. Part I — Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (2012)
- Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers — Anna-Lena Lamprecht (2016)
- Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II — Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (2012)
- Foundations of Intelligent Systems : 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29–31, 2018, Proceedings — Michelangelo Ceci, Nathalie Japkowicz, Jiming Liu, George A. Papadopoulos, Zbigniew W. Raś (2018)
- Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings — Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (2008)
- FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science Book 9995) — John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou (2016)