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

Free critical systems formal methods and automated verification joint 22nd international workshop on formal
3 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Include with your book

Free shipping: April 29, 2024
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%)

Book details

ISBN: 331967112X, 978-3319671123

Book publisher: Springer