Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion by Margaria, Tiziana

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion (Paperback) (ISBN-13: 9783642165573)

Vendor: Tiziana Margaria
Product type: Books
Format: Paperback
$109.99
$109.99
$109.99
Subtotal: $109.99
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion by Margaria, Tiziana

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion

$109.99
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion by Margaria, Tiziana

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion

$109.99
Format: Paperback
Description
Description
x
Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.

Author: Tiziana Margaria
ISBN-10: 3642165575
ISBN-13: 9783642165573
Publisher: Springer
Language: English
Published: 10/19/2010
Pages: 708
Format: Paperback
Weight: 2.24lbs
Size: 9.20h x 6.10w x 1.10d

Recently Viewed Products