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 Krzysztof R. Apt · Verification of Sequential and Concurrent Programs - Texts in Computer Science (Paperback Book) [Softcover reprint of hardcover 3rd ed. 2009 edition] (2012)](https://imusic.b-cdn.net/images/item/original/136/9781447125136.jpg?krzysztof-r-apt-2012-verification-of-sequential-and-concurrent-programs-texts-in-computer-science-paperback-book&class=scaled&v=1410174910)
![Cover for Krzysztof R. Apt · Verification of Sequential and Concurrent Programs - Texts in Computer Science (Hardcover Book) [3rd ed. 2009, Corr. 3rd printing 2010 edition] (2009)](https://imusic.b-cdn.net/images/item/original/448/9781848827448.jpg?krzysztof-r-apt-2009-verification-of-sequential-and-concurrent-programs-texts-in-computer-science-hardcover-book&class=scaled&v=1408588407)