Go back

Verification Model Checking And Abstract Interpretation 21st International Conference Vmcai 2020 New Orleans La Usa January 16 21 2020 Proceedings(1st Edition)

Authors:

Dirk Beyer ,Damien Zufferey

Free verification model checking and abstract interpretation 21st international conference vmcai 2020 new orleans
15 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days
Access to 10 Million+ solutions Free
Ask 10 Questions from expert 200,000+ Expert answers
7 days-trial

Total Price:

$0

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

Book details

ISBN: 3030393216, 978-3030393212

Book publisher: Springer