Go back

Verification Model Checking And Abstract Interpretation Third International Workshop Vmcai 2002 Venice Italy January 21 22 2002 Revised Papers(2002nd Edition)

Authors:

Agostino Cortesi

Free verification model checking and abstract interpretation third international workshop vmcai 2002 venice italy
13 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: $50.28 Savings: $50.28(100%)

Book details

ISBN: 3540436316, 978-3540436317

Book publisher: Springer