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.)श्रेणियाँ:
साल:
2015
संस्करण:
1
प्रकाशन:
Springer-Verlag Berlin Heidelberg
भाषा:
english
पृष्ठ:
345
ISBN 10:
3662492245
ISBN 13:
9783662492246
श्रृंखला:
Lecture Notes in Computer Science 9509
फ़ाइल:
PDF, 21.04 MB
IPFS:
,
english, 2015