Go back
Critical Systems Formal Methods And Automated Verification Joint 22nd International Workshop On Formal Methods For Industrial Critical Systems And 17th International Workshop On Automated Verification Of Critical Systems Fmics Avocs 2017 Turin Italy September 18 20 2017 Proceedings(1st Edition)
Authors:
Laure Petrucci ,Cristina Seceleanu ,Ana Cavalcanti
Cover Type:Hardcover
Condition:Used
In Stock
Include with your book
Free shipping: April 29, 2024Popular items with books
Access to 3 Million+ solutions
Free ✝
Ask 10 Questions from expert
200,000+ Expert answers
✝ 7 days-trial
Total Price:
$0
List Price: $54.99
Savings: $54.99(100%)