Formal Refinement for Operating System Kernels (Hardcover, 2007 ed.)
Iain D. CraigThe 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.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
32220
@R302pm x 12* 
Ships in 10 - 15 working days
Add to wish listDonate to Against Period Poverty
Product Description
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.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Springer London |
Country of origin | United Kingdom |
Release date | July 2007 |
Availability | Expected to ship within 10 - 15 working days |
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 |
Barcode | 9781846289668 |
Categories | |
LSN | 1-84628-966-1 |
Be the first to know about our
latest deals & promos! Subscribe Now
