Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European . (Lecture Notes in Computer Science (3920))
ISBN 10:
3540330569 ISBN 13:
9783540330561
Published by Springer, 2006
Language: English
Used
Condition: Good
Soft cover
Sold by HPB-Red, Dallas, TX, U.S.A.
AbeBooks Seller since March 11, 2019
Used - Soft cover
Condition: Good
Price:
US$ 23.48
Convert Currency
US$ 3.75
shipping within U.S.A.
Destination, rates & speeds
Quantity: 1 available
Add to basket