Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
by Bertrand Meyer, Martin Nordio Paperback 2012
- Author: Bertrand Meyer, Martin Nordio
- ISBN 13: 9783642357459
- ISBN 10: 3642357458
- Publication Year: 2012
- Language: English
Specifications
Index-103642357458
LanguageEnglish
Index-139783642357459
Period-
Class Track-
Publisher- (2012)
Pages-