Formal Refinement for Operating System Kernels - Iain D. Craig - Książki - Springer London Ltd - 9781846289668 - 31 lipca 2007
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Iain D. Craig
Formal Refinement for Operating System Kernels 2007 edition

Cena
zł 468,90

Zamówione z odległego magazynu

Przewidywana dostawa 31 gru - 9 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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 Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 31 lipca 2007
ISBN13 9781846289668
Wydawcy Springer London Ltd
Strony 332
Wymiary 155 × 235 × 20 mm   ·   666 g
Język Angielski  

Więcej od Iain D. Craig

Pokaż wszystko

Zobacz wszystko od Iain D. Craig ( np. Paperback Book i Hardcover Book )