0
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,233
Discovery Miles 32 330
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,233 Discovery Miles 32 330 | Repayment Terms: R303 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Mike Meyers' CompTIA A+ Guide to 802…
Mike Meyers Paperback R1,361 Discovery Miles 13 610
PowerShell, IT Pro Solutions…
William R. Stanek, William Stanek Hardcover R1,627 Discovery Miles 16 270
Essential Windows 10: 1st Anniversary…
Kevin Wilson Paperback R468 R294 Discovery Miles 2 940
CompTIA A+ Certification All-in-One Exam…
Mike Meyers, Travis Everett, … Hardcover R1,388 Discovery Miles 13 880
PowerShell - The Ultimate Beginners…
Mark Reed Hardcover R648 R584 Discovery Miles 5 840
Linux - The Ultimate Crash Course to…
Mark Reed Hardcover R637 R573 Discovery Miles 5 730
Kubernetes - The Ultimate Beginners…
Mark Reed Hardcover R631 R567 Discovery Miles 5 670
PowerShell - A Comprehensive Guide to…
Sam Griffin Hardcover R647 R583 Discovery Miles 5 830
DNSSEC Mastery, 2nd Edition
Michael W Lucas Hardcover R997 R893 Discovery Miles 8 930
IBM Mainframe Developer Training and…
Robert Wingate Hardcover R1,543 Discovery Miles 15 430
Linux - A complete guide to Linux…
James Arthur Hardcover R624 R560 Discovery Miles 5 600
PowerShell for Administration, IT Pro…
William R. Stanek, William Stanek Hardcover R1,609 Discovery Miles 16 090

See more

Partners