Reliable Software Technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / [electronic resource] : edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - 1 online resource (XII, 177 p. 50 ill.) - Lecture Notes in Computer Science, 7896 0302-9743 ; .

Multi-core and distributed systems -- Ada and Spark -- Dependability -- Real-time systems.

9783642386015


Computer science.
Special purpose computers.
Software engineering.
Programming languages (Electronic computers).
Computer logic.