Formal Refinement for Operating System Kernels

by Iain D. Craig
State: New
$164.48
VAT included - FREE Shipping
Iain D. Craig Formal Refinement for Operating System Kernels
Iain D. Craig - Formal Refinement for Operating System Kernels

Do you like this product? Spread the word!

$164.48 incl. VAT
Only 1 items available Only 2 items available
Delivery: between Friday, August 13, 2021 and Tuesday, August 17, 2021
Sales & Shipping: Dodax EU

Check other buying options

1 Offer for $223.99

Sold by Dodax

$223.99 incl. VAT
State: New
Free Shipping
Delivery: between Friday, August 13, 2021 and Tuesday, August 17, 2021
View other buying options

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.

Contributors

Author:
Iain D. Craig

Further information

Illustrations Note:
4 schw.-w. Abb., 4 schw.-w. Zeichn.
remarks:

Contains the formal refinement of two small kernels

Media Type:
Hardcover
Publisher:
Springer London
Language:
English
Number of Pages:
332

Master Data

Product Type:
Hardback book
Package Dimensions:
0.236 x 0.163 x 0.025 m; 0.612 kg
GTIN:
09781846289668
DUIN:
B8MSRBFJ4BH
$164.48
We use cookies on our website to make our services more efficient and more user-friendly. Therefore please select "Accept cookies"! Please read our Privacy Policy for further information.