Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
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: R2,839
Discovery Miles 28 390
Repayment Terms: R266 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 R2,839 Discovery Miles 28 390 | Repayment Terms: R266 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 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..

Practical TCP/IP and Ethernet Networking for Industry (Paperback): Deon Reynders, Edwin Wright
Practical TCP/IP and Ethernet Networking…
Deon Reynders, Edwin Wright Paperback R1,491 Discovery Miles 14 910
Microsoft Windows 10 Tips & Tricks (Fold-out book or chart): Joan Lambert
Microsoft Windows 10 Tips & Tricks
Joan Lambert Fold-out book or chart R229 Discovery Miles 2 290
BTEC Nationals Information Technology Student Book + Activebook - For the 2016 specifications (Paperback): Jenny Phillips, Alan...
BTEC Nationals Information Technology…
Jenny Phillips, Alan Jarvis, … Paperback R1,018 Discovery Miles 10 180
Essential Windows 10: 1st Anniversary Edition (Paperback, 1st Anniversary edition): Kevin Wilson
Essential Windows 10: 1st Anniversary…
Kevin Wilson Paperback R431 R271 Discovery Miles 2 710
Linux - A complete guide to Linux command line for beginners, and how to get started with the Linux operating system!...
Linux - A complete guide to Linux…
James Arthur Hardcover R546 R500 Discovery Miles 5 000
Mike Meyers' CompTIA A+ Guide to 802 Managing and Troubleshooting PCs Lab Manual, Fourth Edition (Exam 220-802)...
Mike Meyers' CompTIA A+ Guide to 802…
Mike Meyers Paperback R1,201 Discovery Miles 12 010
Linux - The Ultimate Crash Course to Learn Linux, System Administration, Network Security, and Cloud Computing with Examples...
Linux - The Ultimate Crash Course to…
Mark Reed Hardcover R558 R512 Discovery Miles 5 120
PowerShell - The Ultimate Beginners Guide to Learn PowerShell Step-By-Step (Hardcover): Mark Reed
PowerShell - The Ultimate Beginners…
Mark Reed Hardcover R567 R521 Discovery Miles 5 210
Coding Basics for Beginners - The Smart Way to Approach the World of Computer Programming and the Fundamental Functions of the...
Coding Basics for Beginners - The Smart…
Jefferson Sandyman Hardcover R588 Discovery Miles 5 880
Kubernetes - The Ultimate Beginners Guide to Effectively Learn Kubernetes Step-By-Step (Hardcover): Mark Reed
Kubernetes - The Ultimate Beginners…
Mark Reed Hardcover R552 R506 Discovery Miles 5 060
PowerShell - A Comprehensive Guide to Windows PowerShell (Hardcover): Sam Griffin
PowerShell - A Comprehensive Guide to…
Sam Griffin Hardcover R566 R520 Discovery Miles 5 200
IBM Mainframe Developer Training and Reference Guide (Hardcover): Robert Wingate
IBM Mainframe Developer Training and…
Robert Wingate Hardcover R1,674 R1,402 Discovery Miles 14 020

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners