Go back

Tools And Algorithms For The Construction And Analysis Of Systems 10th International Conference TACAS 2004 Held As Part Of The Joint European(2004 Edition)

Authors:

Kurt Jensen ,Andreas Podelski

Free tools and algorithms for the construction and analysis of systems 10th international conference tacas 2004
12 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: $92.93 Savings: $92.93(100%)

Book details

ISBN: 354021299X, 978-3540212997

Book publisher: Springer