Skip to main content

Sign in
My Account
Basket
Help

My Account
My Purchases
Sign Off
Advanced Search
Browse Collections
Rare Books
Art & Collectables
Textbooks
Sellers
Start Selling
Help
CLOSE

Iain D. Craig

Popular items by Iain D. Craig

View all offers

Formal Models of Operating System Kernels
Craig, Iain D.

Item prices starting from

� 45.19

View 24 offers

Also find
New, Used

Shop With Us

Advanced Search
Browse Collections
My Account
My Orders
View Basket

Sell With Us

Start Selling
Join Our Affiliate Programme
Book Buyback
Refer a seller

About Us

About AbeBooks
Media
Careers
Privacy Policy
Cookie Preferences
Cookies Notice
Accessibility

Find Help

Help
Customer Service

Other AbeBooks Companies

AbeBooks.com
AbeBooks.de
AbeBooks.fr
AbeBooks.it
AbeBooks Aus/NZ
AbeBooks.ca
IberLibro.com
ZVAB.com
BookFinder.comFind any book at the best price

Follow AbeBooks

AbeBooks.com
AbeBooks.de
AbeBooks.fr
AbeBooks.it
AbeBooks Aus/NZ
AbeBooks.ca
IberLibro.com
ZVAB.com

BookFinder.comFind any book at the best price

By using the Web site, you confirm that you have read, understood, and agreed to be bound by the Terms and Conditions.

© 1996 - 2025 AbeBooks Inc. All Rights Reserved. AbeBooks, the AbeBooks logo, AbeBooks.com, "Passion for books." and "Passion for books. Books for your passion." are registered trademarks with the Registered US Patent & Trademark Office.

Change currency

Choose your preferred currency

You will be charged in {0}.

You will be shown prices in {0} as a reference only. Your orders will process in {1}.

currency preferences

Site shopping preferences

Loading...

Saving your site preferences

Site shopping preferences saved

Something went wrong while saving preferences, please try again

Choose your shipping destination

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Choose your preferred currency

currency preferences