Leveraging Applications Of Formal Methods, Verification And Validation: Tools And Trends: 9Th International Symposium On Leveraging Applications Of ... Iv (Lecture Notes In Computer Science, 12479)
Springer
ISBN13:
9783030837228
$76.99
(No reviews yet)
Write a Review
Springer
Leveraging Applications Of Formal Methods, Verification And Validation: Tools And Trends: 9Th International Symposium On Leveraging Applications Of ... Iv (Lecture Notes In Computer Science, 12479)
- | Author: Tiziana Margaria, Bernhard Steffen
- | Publisher: Springer
- | Publication Date: 14-Sep-21
- | Number of Pages: 277 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 303083722X
- | ISBN-13: 9783030837228
- Author:
- Tiziana Margaria, Bernhard Steffen
- Publisher:
- Springer
- Publication Date:
- 14-Sep-21
- Number of pages:
- 277 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 303083722X
- ISBN-13:
- 9783030837228
