Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs)

Buy Now

Formal Refinement for Operating System Kernels (Hardcover, 2007 ed.) Loot Price: R3,075

Discovery Miles 30 750

Repayment Terms: R288 pm x 12*

Add to cart

Formal Refinement for Operating System Kernels (Hardcover, 2007 ed.): Iain D. Craig

Formal Refinement for Operating System Kernels (Hardcover, 2007 ed.)

Iain D. Craig

(sign in to rate)

Loot Price R3,075 Discovery Miles 30 750 | Repayment Terms: R288 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.

General

Imprint:	Springer London
Country of origin:	United Kingdom
Release date:	July 2007
First published:	2007
Authors:	Iain D. Craig
Dimensions:	235 x 155 x 20mm (L x W x T)
Format:	Hardcover
Pages:	332
Edition:	2007 ed.
ISBN-13:	978-1-84628-966-8
Categories:	Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General Promotions
LSN:	1-84628-966-1
Barcode:	9781846289668