Go back

Critical Systems Formal Methods And Automated Verification Joint 21st International Workshop On Formal Methods For Industrial Critical Systems And(1st Edition)

Authors:

Maurice H. Ter Beek ,Stefania Gnesi ,Alexander Knapp

Free critical systems formal methods and automated verification joint 21st international workshop on formal
7 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days
Access to 30 Million+ solutions Free
Ask 50 Questions from expert AI-Powered Answers
7 days-trial

Total Price:

$0

List Price: $52.47 Savings: $52.47(100%)

Book details

ISBN: 3319459422, 978-3319459424

Book publisher: Springer