Formal Models of Operating System Kernels

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

Szerző: Iain D. Craig

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer London Ltd

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

57 446 Ft

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

Információk a könyvről

Szerző

Iain D. Craig

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2006

oldal

333

EAN

9781846283758

ISBN

9781846283758

Enbook ID

08847119

Kiadó

Springer London Ltd

Súly

688

Méretek

155 x 235 x 24

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Models of Operating System Kernels

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták