VU Boekhandel

Formal Models of Operating System Kernels

Hoofdkenmerken

Auteur:	Craig, Iain D.
Titel:	Formal Models of Operating System Kernels
Uitgever:	Springer London Ltd
ISBN:	9781849965927
Editie:	Softcover reprint of hardcover 1st ed. 2007
Land van oorsprong:	United Kingdom
Prijs:	€ 151.73
Verschijningsdatum:	13-10-2010
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Systems analysis & design
Geillustreerd:	XIII, 333 p.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	333
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	534

Inhoud:

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;