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,075
Discovery Miles 30 750
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*

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,297 Discovery Miles 12 970
CompTIA A+ Certification All-in-One Exam…
Mike Meyers, Travis Everett, … Hardcover R1,311 Discovery Miles 13 110
Essential Windows 10: 1st Anniversary…
Kevin Wilson Paperback R441 R277 Discovery Miles 2 770
PowerShell - The Ultimate Beginners…
Mark Reed Hardcover R615 R559 Discovery Miles 5 590
Linux - The Ultimate Crash Course to…
Mark Reed Hardcover R605 R549 Discovery Miles 5 490
Kubernetes - The Ultimate Beginners…
Mark Reed Hardcover R599 R543 Discovery Miles 5 430
PowerShell - A Comprehensive Guide to…
Sam Griffin Hardcover R614 R558 Discovery Miles 5 580
IBM Mainframe Developer Training and…
Robert Wingate Hardcover R1,457 Discovery Miles 14 570
Linux - A complete guide to Linux…
James Arthur Hardcover R593 R536 Discovery Miles 5 360
DNSSEC Mastery, 2nd Edition
Michael W Lucas Hardcover R947 R853 Discovery Miles 8 530
PowerShell for Administration, IT Pro…
William R. Stanek, William Stanek Hardcover R1,533 Discovery Miles 15 330
Linux - The Ultimate Beginner's Guide to…
Ryan Turner Hardcover R1,062 R891 Discovery Miles 8 910

See more

Partners