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 Werner Damm · Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/676/9783540733676.jpg?werner-damm-2007-computer-aided-verification-19th-international-conference-cav-2007-berlin-germany-july-3-7-2007-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1453907585)
![Cover for Werner Damm · Entwurf Und Verifikation Mikroprogrammierter Rechnerarchitekturen (Paperback Book) [1987 edition] (1987)](https://imusic.b-cdn.net/images/item/original/204/9783540183204.jpg?werner-damm-1987-entwurf-und-verifikation-mikroprogrammierter-rechnerarchitekturen-paperback-book&class=scaled&v=1469993674)