Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)

by Bernhard Steffen (Editor), Bernhard Steffen (Editor), Dietmar Schreiner (Editor), Reiner Hähnle (Editor), Jens Knoop (Editor), Tiziana Margaria (Editor)

New
Paperback
2012
$70.87

$70.87

Save:$5.09 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 276
Edition: 2012
Publisher: Springer
Published: 12 Oct 2012
ISBN 10: 3642347800
ISBN 13: 9783642347801

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)

New

$70.87

$70.87

More Information