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
ISBN13:
9783030613617
$118.37
- | Author: Tiziana Margaria, Bernhard Steffen
- | Publisher: Springer
- | Publication Date: Dec 10, 2020
- | Number of Pages: 608 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030613615
- | ISBN-13: 9783030613617
- Author:
- Tiziana Margaria, Bernhard Steffen
- Publisher:
- Springer
- Publication Date:
- Dec 10, 2020
- Number of pages:
- 608 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030613615
- ISBN-13:
- 9783030613617