Freunden von diesem Artikel berichten:
Formal Refinement for Operating System Kernels Softcover reprint of hardcover 1st ed. 2007 edition
Iain D. Craig
Preis
€ 117,49
Bestellware
Lieferdatum: ca. 28. Okt - 7. Nov
Zu deiner iMusic Wunschliste hinzufügen
Auch vorhanden als:
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
Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
Erscheinungsdatum | 13. Oktober 2010 |
ISBN13 | 9781849966894 |
Verlag | Springer London Ltd |
Seitenanzahl | 332 |
Maße | 155 × 235 × 18 mm · 489 g |
Sprache | Englisch |
Alle anzeigen
Weitere Titel von Iain D. Craig
Alle Titel von Iain D. Craig ansehen ( u. a. Taschenbuch und Gebundenes Buch )