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

Iain D. Craig
Formal Models of Operating System Kernels 2007 edition

Cena
zł 603,90

Zamówione z odległego magazynu

Przewidywana dostawa 6 - 14 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     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 13 grudnia 2006
ISBN13 9781846283758
Wydawcy Springer London Ltd
Strony 333
Wymiary 155 × 235 × 20 mm   ·   594 g
Język Angielski  

Więcej od Iain D. Craig

Pokaż wszystko

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