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

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

Cena
zł 604,90

Zamówione z odległego magazynu

Przewidywana dostawa 6 - 13 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:

Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach - presenting a formal specification of a kernel - starts with basic constructs and develops a set of kernels;

333 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 13 października 2010
ISBN13 9781849965927
Wydawcy Springer London Ltd
Strony 333
Wymiary 155 × 235 × 18 mm   ·   485 g
Język Angielski  

Więcej od Iain D. Craig

Pokaż wszystko

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