Formal Refinement for Operating System Kernels - Iain D. Craig - Książki - Springer London Ltd - 9781849966894 - 13 października 2010
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Iain D. Craig
Formal Refinement for Operating System Kernels Softcover reprint of hardcover 1st ed. 2007 edition

Cena
zł 409,90

Zamówione z odległego magazynu

Przewidywana dostawa 31 gru - 8 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     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 13 października 2010
ISBN13 9781849966894
Wydawcy Springer London Ltd
Strony 332
Wymiary 155 × 235 × 18 mm   ·   489 g
Język Angielski  

Więcej od Iain D. Craig

Pokaż wszystko

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