5726498
9781846289668
Formal Refinement for Operating System Kernels
by Craig, Iain D.
8823
List Price
Discount
42% Off
You Save
$50.57
About this item
- Condition: New
- Provider: Bookjunction
- Provider Rating: 73%
- Ships From: STERLING HEIGHTS, MI
- Shipping: Standard
- Comments: New, US edition. Satisfaction guaranteed!!
370333
About this item
- Condition: Good
- Provider: Bonita
- Provider Rating: 0%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Product details
- ISBN-13: 9781846289668
- ISBN: 1846289661
- Publication Date: 2007
- Publisher: Springer
AUTHOR
SUMMARY
The kernel of any operating system is its most critical component. The purpose of this book is to show that the formal specification of kernals can be followed be a completely formal refinement process that leads to the extraction of executable code.Craig, Iain D. is the author of 'Formal Refinement for Operating System Kernels', published 2007 under ISBN 9781846289668 and ISBN 1846289661.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
