Leveraging Applications of Formal Methods, Verification, and Validation
- Sold out
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.
0
/https://libri-media.knygos-static.lt/fb4fd40a-20b3-4b2c-8378-62d91b9acd8d/1)
- Publisher: Springer-Verlag GmbH
- Year: 2010
- ISBN-10: 3642165605
- ISBN-13: 9783642165603
- Format: 15.6 x 24.1 x 2.4 cm, minkšti viršeliai
- Language: English
Leveraging Applications of Formal Methods, Verification, and Validation (e-book) (used book) | bookbook.eu
Reviews
Description
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.
Sold out
- Publisher: Springer-Verlag GmbH
- Year: 2010
- ISBN-10: 3642165605
- ISBN-13: 9783642165603
- Format: 15.6 x 24.1 x 2.4 cm, minkšti viršeliai
- Language: English English
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.
Reviews