Formal Models of Operating System Kernels - Iain D. Craig - Böcker - Springer London Ltd - 9781846283758 - 13 december 2006
Om omslag och titel inte matchar är det titeln som gäller

Formal Models of Operating System Kernels 2007 edition

Iain D. Craig

Pris
SEK 2.059

Beställningsvara

Förväntad leverans 22 jul - 1 aug

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista

Finns även som:

Formal Models of Operating System Kernels 2007 edition

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 Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 13 december 2006
ISBN13 9781846283758
Utgivare Springer London Ltd
Antal sidor 333
Mått 155 × 235 × 20 mm   ·   594 g
Språk Engelska  
Visa alla

Fler produkter med Iain D. Craig

Se alt med Iain D. Craig ( t.ex. Pocketbok och Inbunden Bok )