Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2002)


OUR TOP PICK

$171.75

+ $10.00 postage
Quantity
1 available
Condition
Brand new
Sold by
roxy*books (277456)98.6% Positive Feedback
Delivery
Est. 11 May - 17 MayFrom United Kingdom
Returns
7 days money back
Buyer pays return postage