Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.)Thể loại:
Năm:
2015
In lần thứ:
1
Nhà xuát bản:
Springer-Verlag Berlin Heidelberg
Ngôn ngữ:
english
Trang:
345
ISBN 10:
3662492245
ISBN 13:
9783662492246
Loạt:
Lecture Notes in Computer Science 9509
File:
PDF, 21.04 MB
IPFS:
,
english, 2015