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
标签:	添加标签 没有标签, 成为第一个标记此记录!