Reliable Software Technologies – Ada-Europe 2013: 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Gespeichert in:

Personen und Körperschaften:	Keller, Hubert B. (VerfasserIn), Plödereder, Erhard (HerausgeberIn), Dencker, Peter (HerausgeberIn), Klenk, Herbert (HerausgeberIn)
Titel:	Reliable Software Technologies – Ada-Europe 2013: 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings/ edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer 2013
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7896
Schlagwörter:	Logic design Computer Science Computer science Software engineering Computers, Special purpose. Compilers (Computer programs). Konferenzschrift > 2013 > Berlin Konferenzschrift
Druckausg.:	Reliable software technologies - Ada Europe 2013, Heidelberg : Springer, 2013, XII, 176 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Details
Zusammenfassung:	This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems
Beschreibung:	Literaturangaben
Umfang:	Online-Ressource (XII, 177 p. 50 illus, online resource)
ISBN:	9783642386015
DOI:	10.1007/978-3-642-38601-5