Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II Tiziana Margaria

Original price was: $50.00.Current price is: $25.00.

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II Tiziana Margaria Digital Instant Download

Author(s): Tiziana Margaria, Bernhard Steffen
ISBN(s): 9783030614690, 9783030614706, 3030614697, 3030614700
Edition: 1st ed.
File Details: PDF, 32.16 MB
Year: 2020
Language: English
SKU: EB-22496368 Category: Tags: ,