ENGLISH

Reliable Software Technologiey – Ada-Europe 2010: 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings

By Tullio Vardanega (eds.) , Theodore P. Baker (auth.) , Jorge Real

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2010
ISBN
978-3-642-13549-1, 978-3-642-13550-7
DOI
10.1007/978-3-642-13550-7
Language
english
Format
PDF
Filesize
5 MB (5389800 bytes)
Series
Lecture Notes in Computer Science 6106
Edition
1
Pages
277\286
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
CompilersInterpreters; Software Engineering; Logics and MeaProgramming Languages

Description

This book constitutes the proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2010, held in Valencia, Spain, on June 14-18, 2010. The 17 papers presented were carefully reviewed and selected from 40 submissions. Topics of interest to the conference are software dependability, critical, real-time and distributed systems, and language technology, all under the more general heading of Reliable Software Technologies.

Similar books