VU Boekhandel

Formal Refinement for Operating System Kernels

Hoofdkenmerken

Auteur:	Craig, Iain D.
Titel:	Formal Refinement for Operating System Kernels
Uitgever:	Springer London Ltd
ISBN:	9781846289668
ISBN boekversie:	9781846289675
Editie:	2007 ed.
Land van oorsprong:	United Kingdom
Prijs:	€ 159.71
Verschijningsdatum:	25-07-2007
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Postgraduate, Research & Scholarly
Categorie:	Operating systems
Geillustreerd:	XV, 332 p.
Dewey code:	005.43

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	332
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	1480

Inhoud:

This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification.