Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... I: 8802 (Lecture Notes in Computer Science)

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... I: 8802 (Lecture Notes in Computer Science)

by Bernhard Steffen (Editor), Bernhard Steffen (Editor), Tiziana Margaria (Editor)

Synopsis

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.

$78.87

Save:$5.44 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 568
Edition: 2014
Publisher: Springer
Published: 07 Oct 2014

ISBN 10: 3662452332
ISBN 13: 9783662452332