Overview
- | Author: Tiziana Margaria, Bernhard Steffen
- | Publisher: Springer
- | Publication Date: Oct 27, 2020
- | Number of Pages: 559 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030614697
- | ISBN-13: 9783030614690
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
$128.71
(No reviews yet)
Write a Review
Write a Review
Springer
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
Product Details
- Author:
- Tiziana Margaria, Bernhard Steffen
- Publisher:
- Springer
- Publication Date:
- Oct 27, 2020
- Number of pages:
- 559 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030614697
- ISBN-13:
- 9783030614690
Categories
Paperback
Reviews
0 Reviews
No reviews yet.
Share your experience and help another reader choose their next book.
You may also like
Shop all
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20û30, 2020, Proceedings, Part I
Springer
$118.37
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20û30, 2020, Proceedings, Part III
Springer
$118.37
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October ... IV (Lecture Notes in Computer Science, 13704)
Springer
$87.33
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... I (Lecture Notes in Computer Science, 13701)
Springer
$118.37
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... II (Lecture Notes in Computer Science, 13702)
Springer
$92.51