Tell your friends about this item:
Formal Refinement for Operating System Kernels Softcover reprint of hardcover 1st ed. 2007 edition
Iain D. Craig
Formal Refinement for Operating System Kernels Softcover reprint of hardcover 1st ed. 2007 edition
Iain D. Craig
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.
332 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | October 13, 2010 |
ISBN13 | 9781849966894 |
Publishers | Springer London Ltd |
Pages | 332 |
Dimensions | 155 × 235 × 18 mm · 489 g |
Language | English |