3 Ebooks von Robert M. Hierons
Jonathan P. Bowen & Mark Harman: Formal Methods and Testing
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network – formed as a network established under UK EPSRC funding that investigated …
PDF
Englisch
DRM
€57.47
Mario Bravetti & Robert M. Hierons: Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers …
PDF
Englisch
DRM
€57.57
