Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science, Band 7007)

Verification

von: Bertrand Meyer · Martin Nordio

Taschenbuch

ISBN: 978-3-642-25230-3

ISBN-10: 3-642-25230-3

Springer · 2012