Opening book details…
Can I read Reliable software technologies -- Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings on EtoBox?
Reliable software technologies -- Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings by Marko Bertogna, Luis Miguel Pinho, Eduardo Quiñones (eds.) is a computer science book available to read on EtoBox.
What is Reliable software technologies -- Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings about?
<p>This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016. </p> <p>The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and verification, program correctness and robustness, and real-time systems.</p>
Who reads Reliable software technologies -- Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Marko Bertogna, Luis Miguel Pinho, Eduardo Quiñones (eds.)
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2016
- Language
- EN
- ISBN
- 9783319390833
- Category
- computer science
- Subjects
- Engineering, Mathematics, Technology
- Updated
- 2026-03-25
More by Marko Bertogna, Luis Miguel Pinho, Eduardo Quiñones (eds.)
Browse all works by Marko Bertogna, Luis Miguel Pinho, Eduardo Quiñones (eds.)
Similar books
- Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings — Santiago Urueña, José A. Pulido, Jorge López (auth.), Fabrice Kordon, Tullio Vardanega (2008)
- Reliable Software Technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011 : proceedings — Jeffrey O’Leary (auth.), Alexander Romanovsky, Tullio Vardanega (2011)
- Reliable Software Technologies -- Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings — Marco Panunzio, Tullio Vardanega (auth.), Mats Brorsson, Luís Miguel Pinho (2012)
- Reliable Software Technologies - Ada-Europe 2015 [recurso electrónico] : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings — Juan Antonio de la Puente, Tullio Vardanega (2015)
- Reliable software technologies -- Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings — António Casimiro, Pedro M. Ferreira (2018)
- Reliable Software Technologiey - Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings — Theodore P. Baker (auth.), Jorge Real, Tullio Vardanega (2010)