Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /

This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The conference hosted 5 workshops: The Second International Workshop on Behavioural Type...

全面介绍

书目详细资料

企业作者:	SpringerLink (Online service)
其他作者:	Counsell, Steve. (Editor, http://id.loc.gov/vocabulary/relators/edt), Núñez, Manuel. (Editor, http://id.loc.gov/vocabulary/relators/edt)
格式:	电子 电子书
语言:	English
出版:	Cham : Springer International Publishing : Imprint: Springer, 2014.
版:	1st ed. 2014.
丛编:	Programming and Software Engineering ; 8368
主题:	Computer logic. Software engineering. Programming languages (Electronic computers). Logics and Meanings of Programs. Software Engineering. Programming Languages, Compilers, Interpreters.
在线阅读:	https://doi.org/10.1007/978-3-319-05032-4
标签:	添加标签 没有标签, 成为第一个标记此记录!