Software Engineering and Formal Methods

Full text!
Format:
e-book
Title:
Software Engineering and Formal Methods
Author:
Rocco De Nicola, Eva Kühn; De Nicola, Rocco; Kühn, Eva
Language:
English
Publisher:
Springer International Publishing 2016
ISBN:
3-319-41590-5
3-319-41591-3
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000000734829?locale=en