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 Nicolas Halbwachs · Synchronous Programming of Reactive Systems - the Springer International Series in Engineering and Computer Science (Paperback Book) [1st Ed. Softcover of Orig. Ed. 1993 edition] (2010)](https://imusic.b-cdn.net/images/item/original/335/9781441951335.jpg?nicolas-halbwachs-2010-synchronous-programming-of-reactive-systems-the-springer-international-series-in-engineering-and-computer-science-paperback-book&class=scaled&v=1621064218)
![Cover for Nicolas Halbwachs · Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings - Lectu (Paperback Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/334/9783540253334.jpg?nicolas-halbwachs-2005-tools-and-algorithms-for-the-construction-and-analysis-of-systems-11th-international-conference-tacas-2005-held-as-part-of-the-joint-european-conference-on-theory-and-practice-of-software-etaps-2005-edinburgh-uk-april-4-8-2004-procee&class=scaled&v=1485663968)
![Cover for Nicolas Halbwachs · Synchronous Programming of Reactive Systems - The Springer International Series in Engineering and Computer Science (Hardcover Book) [1993 edition] (1992)](https://imusic.b-cdn.net/images/item/original/115/9780792393115.jpg?nicolas-halbwachs-1992-synchronous-programming-of-reactive-systems-the-springer-international-series-in-engineering-and-computer-science-hardcover-book&class=scaled&v=1410217511)