Shipments to the United States
Due to changes in U.S. customs regulations, all shipments to the United States are now subject to customs clearance.
This means that the recipient will be required to pay customs duties, as well as any applicable taxes and fees upon import.
Please also note that delivery may be delayed while the shipment is being processed by U.S. customs.
![Cover for Franck Cassez · Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings - Programming and Software Engineering (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/359/9783319119359.jpg?franck-cassez-2014-automated-technology-for-verification-and-analysis-12th-international-symposium-atva-2014-sydney-australia-november-3-7-2014-proceedings-programming-and-software-engineering-paperback-book&class=scaled&v=1445690766)
![Cover for Franck Cassez · Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/778/9783540857778.jpg?franck-cassez-2008-formal-modeling-and-analysis-of-timed-systems-6th-international-conference-formats-2008-saint-malo-france-september-15-17-2008-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1445690766)