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

This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submiss...

詳細記述

書誌詳細

団体著者:	SpringerLink (Online service)
その他の著者:	George, Laurent. (編集者, http://id.loc.gov/vocabulary/relators/edt), Vardanega, Tullio. (編集者, http://id.loc.gov/vocabulary/relators/edt)
フォーマット:	電子媒体 eBook
言語:	English
出版事項:	Cham : Springer International Publishing : Imprint: Springer, 2014.
版:	1st ed. 2014.
シリーズ:	Programming and Software Engineering ; 8454
主題:	Programming languages (Electronic computers). Software engineering. Special purpose computers. Computer logic. Mathematical logic. Programming Languages, Compilers, Interpreters. Software Engineering. Special Purpose and Application-Based Systems. Logics and Meanings of Programs. Mathematical Logic and Formal Languages.
オンライン･アクセス:	https://doi.org/10.1007/978-3-319-08311-7
タグ:	タグ追加 タグなし, このレコードへの初めてのタグを付けませんか!