Tacas 2000 (2 results)
Author:
Refine with Advanced Search
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, germa
Tacas 2000; Graf, Susanne (EDT); Schwartzbach, Michael I. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 138.60
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
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, germa
Tacas 2000; Graf, Susanne (EDT); Schwartzbach, Michael I. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 162.68
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
