Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science, Band 7682)
von:
Bertrand Meyer
·
Martin Nordio
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-35745-9
ISBN-10: 3-642-35745-8
Springer
· 2012
