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:	9781849966894
Editie:	Softcover reprint of hardcover 1st ed. 2007
Land van oorsprong:	United Kingdom
Prijs:	€ 163.71
Verschijningsdatum:	13-10-2010
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Software Engineering
Geillustreerd:	XV, 332 p.

Technische kenmerken

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

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.