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...

詳細記述

書誌詳細

団体著者:	Ada-Europe International Conference on Reliable Software Technologies ( París, Francia)
その他の著者:	George, Laurent (edición) (edición), Vardanega, Tullio (edición) (edición)
フォーマット:	会議録 図書
言語:	英語
出版事項:	Cham, Suiza : Springer, 2014, c2014
シリーズ:	(Lecture Notes in Computer Science ; 8454)
主題:	Sistemas en Tiempo Real Programación Estructurada (Software) Programación Modular (Software) Programación Orientada a Objetos - > Tema Principal Lenguajes de Programación - > Tema Principal Lenguajes Formales Programación (Software) - > Congresos - > Tema Principal Ingeniería de Software Desarrollo de Sistemas Sistemas Computacionales Ingeniería Computacional
オンライン･アクセス:	Ver documento en línea
タグ:	タグ追加 タグなし, このレコードへの初めてのタグを付けませんか!