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 Iain D. Craig · Formal Refinement for Operating System Kernels (Paperback Book) [Softcover reprint of hardcover 1st ed. 2007 edition] (2010)](https://imusic.b-cdn.net/images/item/original/894/9781849966894.jpg?iain-d-craig-2010-formal-refinement-for-operating-system-kernels-paperback-book&class=scaled&v=1408605974)
![Cover for Iain D. Craig · Formal Models of Operating System Kernels (Paperback Book) [Softcover reprint of hardcover 1st ed. 2007 edition] (2010)](https://imusic.b-cdn.net/images/item/original/927/9781849965927.jpg?iain-d-craig-2010-formal-models-of-operating-system-kernels-paperback-book&class=scaled&v=1408606188)
![Cover for Iain D. Craig · Formal Refinement for Operating System Kernels (Hardcover Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/668/9781846289668.jpg?iain-d-craig-2007-formal-refinement-for-operating-system-kernels-hardcover-book&class=scaled&v=1542757227)
![Cover for Iain D. Craig · Formal Models of Operating System Kernels (Hardcover Book) [2007 edition] (2006)](https://imusic.b-cdn.net/images/item/original/758/9781846283758.jpg?iain-d-craig-2006-formal-models-of-operating-system-kernels-hardcover-book&class=scaled&v=1408432864)
![Cover for Iain D. Craig · The Interpretation of Object-oriented Programming Languages (Paperback Book) [2nd Ed. 2002 edition] (2001)](https://imusic.b-cdn.net/images/item/original/472/9781852335472.jpg?iain-d-craig-2001-the-interpretation-of-object-oriented-programming-languages-paperback-book&class=scaled&v=1447078472)
![Cover for Iain D. Craig · Programming in Dylan (Paperback Book) [Softcover reprint of the original 1st ed. 1997 edition] (1996)](https://imusic.b-cdn.net/images/item/original/535/9783540760535.jpg?iain-d-craig-1996-programming-in-dylan-paperback-book&class=scaled&v=1436987797)