Name: Formal Models of Operating System Kernels
Price: 1684.95 DKK
Availability: InStock
Author: Iain D. Craig
ISBN: 9781849965927

Formal Models of Operating System Kernels af Iain D. Craig

Du sparer 0% ift. normalprisen Spar 0%

Bag om Formal Models of Operating System Kernels

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;

Vis mere

Sprog:
Engelsk

ISBN:
9781849965927

Forlag:
Springer London Ltd

Indbinding:
Paperback

Sideantal:
333

Udgivet:
13. oktober 2010

Udgave:
12007

Størrelse:
234x156x18 mm.

Vægt:
534 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 6. december 2024

Normalpris

BLACK NOVEMBER
1.684,95 kr. + Fragt
~~1.684,95 kr.~~

Medlemspris

1.634,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Iain D. Craig

Vis alle bøger af Iain D. Craig

Beskrivelse af Formal Models of Operating System Kernels

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;

Brugerbedømmelser af Formal Models of Operating System Kernels

Andre købte også..

Find lignende bøger

Bogen Formal Models of Operating System Kernels findes i følgende kategorier:

Business og læring > Computer og IT

Formal Models of Operating System Kernels - Iain D. Craig - Bog

Bag om Iain D. Craig

Beskrivelse af Formal Models of Operating System Kernels

Brugerbedømmelser af Formal Models of Operating System Kernels

Gør som tusindvis af andre bogelskere