Go back

Computer Aided Verification 6th International Conference Cav 94 Stanford California Usa June 1994 Proceedings(1994th Edition)

Authors:

David L Dill

Free computer aided verification 6th international conference cav 94 stanford california usa june 1994 proceedings
4 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: $28.98 Savings: $28.98(100%)
Access to 30 Million+ solutions
Ask 50 Questions from expert AI-Powered Answers 24/7 Tutor Help Detailed solutions for Computer Aided Verification 6th International Conference Cav 94 Stanford California Usa June 1994 Proceedings

Price:

$9.99

/month

Book details

ISBN: 3540581790, 978-3540581796

Book publisher: Springer