Go back

Verification Model Checking And Abstract Interpretation 9th International Conference Vmcai 2008 San Francisco Usa January 2008 Proceedings(1st Edition)

Authors:

Theo Ungerer, Christian Hochberger, Rainer G. Spallek

Free verification model checking and abstract interpretation 9th international conference vmcai 2008 san francisco
12 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Include with your book

Free shipping: April 30, 2024
Access to 3 Million+ solutions Free
Ask 10 Questions from expert 200,000+ Expert answers
7 days-trial

Total Price:

$0

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

Book details

ISBN: 3540781528, 978-3540781523

Book publisher: Springer