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
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Book details
ISBN: 331967112X, 978-3319671123
Book publisher: Springer
Frequently Bought Together
Modern Distributed Tracing In NET A Practical Guide To Observability And Performance Analysis For Microservices - 1st Edition
Liudmila Molkova
ISBN: 1837636133, 978-1837636136
$0 $43.13
Shifting Capital Mercantilism And The Economics Of The Act Of Union Of 1707 - 1st Edition
Aida Ramos
ISBN: 331996402X, 978-3319964027
$0 $25.75
Supervisory Management The art of ispiring, Empowering and Developing people - 9th edition
Donald C. Mosley
ISBN: 1285063007, 978-1305147072, 1305147073, 978-1285063003
$0 $18.96
Chemistry In Context - 10th Edition
American Chemical Society
ISBN: 1260240843, 978-1260240849
$0 $74.05
African American Pioneers In Anthropology - 1st Edition
Faye V Harrison
ISBN: 0252067363, 978-0252067365
$0 $27.00
Embedded Systems With Arm Cortex M3 Microcontrollers In Assembly Language And C - 1st Edition
Yifeng Zhu
ISBN: 0982692625, 978-0982692622
$0 $47.88
Service Systems Concepts Modeling And Programming - 1st Edition
Jorge Cardoso
ISBN: 3319108123, 978-3319108124
$0 $54.99