Freunden von diesem Artikel berichten:
Formal Refinement for Operating System Kernels Softcover reprint of hardcover 1st ed. 2007 edition
Iain D. Craig
Preis
Fr. 110,49
Bestellware
Lieferdatum: ca. 30. Jul - 9. Aug
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
![Cover for Iain D. Craig · Formal Models of Operating System Kernels (Taschenbuch) [Softcover reprint of hardcover 1st ed. 2007 edition] (2010)](https://imusic.b-cdn.net/images/item/original/927/9781849965927.jpg?iain-d-craig-2010-formal-models-of-operating-system-kernels-taschenbuch&class=scaled&v=1408606188)
![Cover for Iain D. Craig · Formal Models of Operating System Kernels (Gebundenes Buch) [2007 edition] (2006)](https://imusic.b-cdn.net/images/item/original/758/9781846283758.jpg?iain-d-craig-2006-formal-models-of-operating-system-kernels-gebundenes-buch&class=scaled&v=1408432864)
![Cover for Iain D. Craig · The Interpretation of Object-oriented Programming Languages (Taschenbuch) [2nd Ed. 2002 edition] (2001)](https://imusic.b-cdn.net/images/item/original/472/9781852335472.jpg?iain-d-craig-2001-the-interpretation-of-object-oriented-programming-languages-taschenbuch&class=scaled&v=1447078472)
![Cover for Iain D. Craig · Programming in Dylan (Taschenbuch) [Softcover reprint of the original 1st ed. 1997 edition] (1996)](https://imusic.b-cdn.net/images/item/original/535/9783540760535.jpg?iain-d-craig-1996-programming-in-dylan-taschenbuch&class=scaled&v=1436987797)
Alle Titel von Iain D. Craig ansehen ( u. a. Taschenbuch und Gebundenes Buch )