![Formal Refinement for Operating System Kernels - Iain D. Craig - Livres - Springer London Ltd - 9781849966894 - 13 octobre 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)
Faites connaître cet article à vos amis:
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
Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
Validé | 13 octobre 2010 |
ISBN13 | 9781849966894 |
Éditeurs | Springer London Ltd |
Pages | 332 |
Dimensions | 155 × 235 × 18 mm · 489 g |
Langue et grammaire | English |
Afficher tout
Plus par Iain D. Craig
Voir tous les Iain D. Craig ( par ex. Paperback Book et Hardcover Book )