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 Jim Davies · Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Programming and Software Engineering (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/099/9783540732099.jpg?jim-davies-2007-integrated-formal-methods-6th-international-conference-ifm-2007-oxford-uk-july-2-5-2007-proceedings-programming-and-software-engineering-paperback-book&class=scaled&v=1510750590)
![Cover for Jim Davies · Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/416/9783540238416.jpg?jim-davies-2004-formal-methods-and-software-engineering-6th-international-conference-on-formal-engineering-methods-icfem-2004-seattle-wa-usa-november-8-12-2004-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1510750583)