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)

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)

$69.15

Save:$4.96 (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