Reliable Software Technologies : Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies Paris, France, June 23-27, 2014 : Proceedings /

Selección de ponencias presentadas en la décima novena Conferencia Internacional Ada-Europe sobre Tecnologías de Software Confiables, celebrada en París, Francia, en junio de 2014. Los artículos desarrollan temas relacionados con los métodos formales, usos de Ada, programación en tiempo real y desar...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Ada-Europe International Conference on Reliable Software Technologies ( París, Francia)
Weitere Verfasser: George, Laurent (edición) (edición), Vardanega, Tullio (edición) (edición)
Format: Tagungsbericht Buch
Sprache:Englisch
Veröffentlicht: Cham, Suiza : Springer, 2014, c2014
Schriftenreihe:(Lecture Notes in Computer Science ; 8454)
Schlagworte:
Online-Zugang:Ver documento en línea
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!

Online

Ver documento en línea
Bestandsangaben von IT2
Signatur:
Libro en línea
Ejemplar 567364-1
Disponible
Préstamo en línea
Bestand:
Libros electrónicos en línea
Anmerkungen:
Consultar en línea