Online Library TheLib.net » Author books / Книги автора Domenico Bianculli Radu Calinescu Bernhard Rumpe (eds.)
book Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
pdf
00
27.01.2024
0
0
Read online