Vertel uw vrienden over dit artikel:
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
Vrijgegeven | 13 oktober 2010 |
ISBN13 | 9781849966894 |
Uitgevers | Springer London Ltd |
Pagina's | 332 |
Afmetingen | 155 × 235 × 18 mm · 489 g |
Taal en grammatica | Engels |
Alles tonen
Meer door Iain D. Craig
Bekijk alles van Iain D. Craig ( bijv. Paperback Book en Hardcover Book )