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


OUR TOP PICK

$309.95

+ $50.00 postage
Quantity
5 available
Condition
Brand new
Sold by
ausreseller (114191)97.6% Positive Feedback
Delivery
Est. 2 Jun - 14 JunFrom Australia
Returns
No returns, but backed by eBay Money Back Guarantee