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 Tommaso Bolognesi · Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte Xiii) and Protocol Specification, Testing and Ve (Paperback Book) [Softcover Reprint of the Original 1st Ed. 2000 edition] (2013)](https://imusic.b-cdn.net/images/item/original/649/9781475752649.jpg?tommaso-bolognesi-2013-formal-methods-for-distributed-system-development-forte-pstv-2000-ifip-tc6-wg6-1-joint-international-conference-on-formal-description-techniques-for-distributed-systems-and-communication-protocols-forte-xiii-and-protocol-specificatio&class=scaled&v=1575546331)
![Cover for Tommaso Bolognesi · LOTOSphere: Software Development with LOTOS (Paperback Book) [Softcover reprint of the original 1st ed. 1995 edition] (2012)](https://imusic.b-cdn.net/images/item/original/241/9781461359241.jpg?tommaso-bolognesi-2012-lotosphere-software-development-with-lotos-paperback-book&class=scaled&v=1604580477)
![Cover for Tommaso Bolognesi · LOTOSphere: Software Development with LOTOS (Hardcover Book) [1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/294/9780792395294.jpg?tommaso-bolognesi-1995-lotosphere-software-development-with-lotos-hardcover-book&class=scaled&v=1466000383)