Reliable Software Technologies – Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, ... and Software Engineering, Band 9695)
Kurzinformation
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
Das Buch "Reliable Software Technologies – Ada-Europe 2016" ist eine Sammlung von Konferenzbeiträgen der 21. Ada-Europe International Conference on Reliable Software Technologies, die im Juni 2016 in Pisa, Italien, stattfand. Herausgegeben von Eduardo Quiñones, umfasst der Band eine Vielzahl von Forschungsarbeiten und technischen Berichten rund um das Thema zuverlässige Softwaretechnologien mit einem besonderen Fokus auf die Programmiersprache Ada. Die Beiträge decken ein breites Spektrum an Themen ab, darunter formale Methoden, Echtzeitsysteme, sicherheitskritische Anwendungen und die Weiterentwicklung der Ada-Sprache. Ziel des Buches ist es, sowohl theoretische als auch praktische Fortschritte in der Softwaretechnik zu präsentieren und den Austausch zwischen Forschern und Praktikern zu fördern.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Hardcover
- 412 Seiten
- Erschienen 2012
- Springer Berlin Heidelberg