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. (Editor, http://id.loc.gov/vocabulary/relators/edt), Vardanega, Tullio. (Editor, http://id.loc.gov/vocabulary/relators/edt)
格式:	電子 電子書
語言:	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
標簽:	添加標簽 沒有標簽, 成為第一個標記此記錄!