Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures: 7682 (Lecture Notes in Computer Science)

Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures: 7682 (Lecture Notes in Computer Science)

by Bertrand Meyer (Editor), Martin Nordio (Editor), Martin Nordio (Editor), Bertrand Meyer (Editor)

$47.34

Save:$2.80 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 192
Edition: 2012
Publisher: Springer
Published: 30 Nov 2012

ISBN 10: 3642357458
ISBN 13: 9783642357459