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 /

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...

Full description

Bibliographic Details
Published in:Springer eBooks
Corporate Author: SpringerLink (Online service)
Other Authors: Counsell, Steve (Editor), Núñez, Manuel (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science.
Software engineering.
Logic design.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Online Access:http://dx.doi.org/10.1007/978-3-319-05032-4
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/978-3-319-05032-4
Перейти в каталог НБ ТГУ

Similar Items