Formal Models of Operating System Kernels / Nejlevnější knihy
Formal Models of Operating System Kernels

Kód: 08847119

Formal Models of Operating System Kernels

Autor Iain D. Craig

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 title presents a formal ... celý popis

4963


Skladem u dodavatele v malém množství
Odesíláme za 10-14 dnů

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.


Přidat mezi přání

Mohlo by se vám také líbit

Darujte tuto knihu ještě dnes
  1. Objednejte knihu a zvolte Zaslat jako dárek.
  2. Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
  3. Knihu zašleme na adresu obdarovaného, o nic se nestaráte.

Více informací

Více informací o knize Formal Models of Operating System Kernels

Nákupem získáte 496 bodů

Anotace knihy

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 title presents a formal specification of a kernel, starting with basic constructs and developing a set of kernels.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Computer architecture & logic design

4963

Oblíbené z jiného soudku



Osobní odběr Praha, Brno a 12903 dalších

Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies


Můj účet: Přihlásit se
Všechny knihy světa na jednom místě. Navíc za skvělé ceny.

Nákupní košík ( prázdný )

Vyzvednutí v Zásilkovně
zdarma nad 1 499 Kč.

Nacházíte se: