![Formal Refinement for Operating System Kernels - Iain D. Craig - Libros - Springer London Ltd - 9781849966894 - 13 de octubre de 2010](https://imusic.b-cdn.net/images/item/original/894/9781849966894.jpg?iain-d-craig-2010-formal-refinement-for-operating-system-kernels-paperback-book&class=scaled&v=1408605974)
Recomienda este artículo a tus amigos:
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
Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
Publicado | 13 de octubre de 2010 |
ISBN13 | 9781849966894 |
Editores | Springer London Ltd |
Páginas | 332 |
Dimensiones | 155 × 235 × 18 mm · 489 g |
Lengua | English |
Mostrar todo
Mas por Iain D. Craig
Ver todo de Iain D. Craig ( Ej. Paperback Book y Hardcover Book )