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 Valeria Bertacco · Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/760/9783319030760.jpg?valeria-bertacco-2013-hardware-and-software-verification-and-testing-9th-international-haifa-verification-conference-hvc-2013-haifa-israel-november-5-7-2013-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1615225687)
![Cover for Valeria Bertacco · Scalable Hardware Verification with Symbolic Simulation (Paperback Book) [Softcover reprint of hardcover 1st ed. 2006 edition] (2010)](https://imusic.b-cdn.net/images/item/original/391/9781441937391.jpg?valeria-bertacco-2010-scalable-hardware-verification-with-symbolic-simulation-paperback-book&class=scaled&v=1431246106)
![Cover for Valeria Bertacco · Scalable Hardware Verification with Symbolic Simulation (Hardcover Book) [2006 edition] (2005)](https://imusic.b-cdn.net/images/item/original/112/9780387244112.jpg?valeria-bertacco-2005-scalable-hardware-verification-with-symbolic-simulation-hardcover-book&class=scaled&v=1409609073)