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.)Kategorije:
Godina:
2015
Izdanje:
1
Izdavač:
Springer-Verlag Berlin Heidelberg
Jezik:
english
Strane:
345
ISBN 10:
3662492245
ISBN 13:
9783662492246
Serije:
Lecture Notes in Computer Science 9509
Fajl:
PDF, 21.04 MB
IPFS:
,
english, 2015