Author books / Книги автора Carlos Canal Akram Idani (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Carlos Canal Akram Idani (eds.)

book Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

pdf

Author: Carlos Canal Akram Idani (eds.)
Language: English
Year: 2015

00

27.01.2024

1

0