9783540672821 - tools and algorithms for the construction and analysis of systems: 6th international conference, tacas 2000 held as part of the joint european ... march 25 - april 2, 2000 proceedings: 1785 di graf, susanne; schwartzbach, michael (1 risultati)

Condizione: Good. *Price HAS BEEN REDUCED by 10% until Monday, Aug. 3 (SALE item)* 552 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duti…