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 programming > Software engineering

Buy Now

Formal Models of Operating System Kernels (Paperback, Softcover reprint of hardcover 1st ed. 2007) Loot Price: R4,364

Discovery Miles 43 640

Repayment Terms: R409 pm x 12*

Add to cart

Formal Models of Operating System Kernels (Paperback, Softcover reprint of hardcover 1st ed. 2007): Iain D. Craig

Formal Models of Operating System Kernels (Paperback, Softcover reprint of hardcover 1st ed. 2007)

Iain D. Craig

(sign in to rate)

Loot Price R4,364 Discovery Miles 43 640 | Repayment Terms: R409 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach - presenting a formal specification of a kernel - starts with basic constructs and develops a set of kernels; proofs are included as part of the text.

General

Imprint:	Springer London
Country of origin:	United Kingdom
Release date:	October 2010
First published:	2007
Authors:	Iain D. Craig
Dimensions:	235 x 155 x 18mm (L x W x T)
Format:	Paperback
Pages:	333
Edition:	Softcover reprint of hardcover 1st ed. 2007
ISBN-13:	978-1-84996-592-7
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer programming > Software engineering Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General Promotions
LSN:	1-84996-592-7
Barcode:	9781849965927