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
by Graf, Susanne (Editor), and Schwartzbach, Michael (Editor)
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 552 p. Lecture Notes in Computer Science, 1785. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
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
by Graf, Susanne (Editor), and Schwartzbach, Michael (Editor)
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 552 p. Lecture Notes in Computer Science, 1785. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
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
by Graf, Susanne (Editor), and Schwartzbach, Michael (Editor)
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held as Part of the Joint European Conferences...(Lecture Notes in Computer Science)
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
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.
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held as Part of the Joint European...(Lecture Notes in Computer Science)
by Graf, Susanne [Editor]; Schwartzbach, Michael [Editor];
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held as Part of the Joint European...(Lecture Notes in Computer Science, 1785)