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: |
October 2010 |
| First published: |
2007 |
| Authors: |
Iain D. Craig
|
| Dimensions: |
235 x 155 x 18mm (L x W x T) |
| Format: |
Paperback
|
| Pages: |
332 |
| Edition: |
Softcover reprint of hardcover 1st ed. 2007 |
| ISBN-13: |
978-1-84996-689-4 |
| Categories: |
Books >
Computing & IT >
Computer programming >
Software engineering
|
| LSN: |
1-84996-689-3 |
| Barcode: |
9781849966894 |
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!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
