Isbn: 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 (1 risultati)

Condizione: Good. 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 duties, taxes, or fees required by recipient's country.…