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
標簽:	添加標簽 沒有標簽, 成為第一個標記此記錄!