Formal Models of Operating System Kernels

Name: Formal Models of Operating System Kernels
Brand: Springer London Ltd
SKU: 9781846283758
Price: 649.23 PLN
Availability: InStock

Autor: Iain D. Craig

Język:

Oprawa: Twarda

Wydawca: Springer London Ltd

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-13 dni

649.23 zł

Operating systems kernels are central to the functioning of computers. Security of the overall syste...

Informacje o książce

Autor

Iain D. Craig

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2006

strony

333

EAN

9781846283758

ISBN

9781846283758

Enbook ID

08847119

Wydawca

Springer London Ltd

Waga

688

Wymiary

155 x 235 x 24

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Formal Models of Operating System Kernels

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również