ENGLISH

Reliable Software Technologies – Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

By Luís Miguel Pinho , Marko Bertogna , Eduardo Quiñones (eds.)

Book information

Publisher
Springer International Publishing
Year
2016
ISBN
978-3-319-39082-6, 978-3-319-39083-3
DOI
10.1007/978-3-319-39083-3
Language
english
Format
PDF
Filesize
8 MB (8448384 bytes)
Series
Lecture Notes in Computer Science 9695
Edition
1
Pages
XIV, 213\217
Time added
2016-07-20 04:00:00
CompilersInterpreters; Software Engineering; Special PurposProgramming Languages

Description

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. 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.

Similar books