Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Refinement for Operating System Kernels

Name: Formal Refinement for Operating System Kernels
Brand: Springer London Ltd
SKU: 01434599
Price: 39688 HUF
Availability: InStock
Author: Iain D. Craig
ISBN: 9781849966894

Iain D. Craig

Language

English

Book Paperback

Libristo code: 01434599

Publishers Springer London Ltd, October 2010

The kernel of any operating system is its most critical component, as the rest of the system depends... Full description

Libristo code: 01434599

271 b

39 688 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Messie House Index (MHI) Andreas Schmidt

Paperback

16 606 Ft

Odgajanje dobrih ljudi Hunter Clarke Fieldes

Paperback

4 164 Ft

Makramee knüpfen - Die wunderbare Kreativbox Josephine Kirsch

Toy

7 608 Ft

Descartes directeur spirituel: Correspondance avec la princesse palatine et la reine Christine de Su?de René Descartes

Paperback

9 188 Ft

Auf Augenhöhe Sebastian Harnisch

Hardback

15 053 Ft

Фауст. Страдания юного Вертера Иоганн Гете

Hardback

9 877 Ft

Bitty Bao Boba Emotions: A Bilingual Book in English and Cantonese with Traditional Characters and Jyutping Lulu Cheng

Board book

4 146 Ft

NARRADORES 3 CONFESIONES DE ESCRITORES BOLL

Book

10 025 Ft

Mirar John Berger

Adobe ePub DRM

3 503 Ft

Methoden und Massnahmen zur flexiblen Abwicklung von Produktprojekten Markus Loderbauer

Paperback

6 272 Ft

Banca del pruno Giorgio Fusco

Paperback

5 380 Ft

Alimentacao por energial solar e universal Francisco Cunha Leao

Adobe ePub DRM

1 950 Ft

Komplett Ready

Audio CD

6 845 Ft

Geschaftsfelder von Modeblogs und Beziehungen zu Unternehmen. Eine kritische Betrachtung Rosa Herbst

Paperback

6 272 Ft

Russian for Advanced Learners - Russkii Iazyk dlia prodvinutykh К. Рогова

Digital DVD

20 900 Ft

Himmelschlüssel Kristina Ohlsson

Paperback

4 234 Ft

La Atlántida y la tradición oculta Ríos

Paperback

8 708 Ft

Automobiles Ron Kimball

Hardback

13 265 Ft

Je twitte donc je suis Guillaume Debré

Paperback

13 570 Ft

Květinové pohádky Ernst Kreidolf

Hardback

3 531 Ft

Infektionskrankheiten in Gynakologie Und Geburtshilfe Klaus Friese

Paperback

54 741 Ft

O corazón de Xúpiter Ledicia Costas Álvarez

Paperback

5 569 Ft

La semilla de la ira : máscaras de Vargas Vila Triviño Anzola

Paperback

8 222 Ft

Música, pensamiento y educación Lucy Green

Paperback

7 885 Ft

The kernel of any operating system is its most critical component, as the rest of the system depends on it. 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. The author documents the complete process, including proofs.The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation.§The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. The formal refinement process ensures that the code meets the specification in a precise sense. §Two kernels are specified and refined. The first is small and of the kind often used in embedded and real-time systems. It closely resembles the one modelled in our Formal Models of Operating System Kernels. The second is a Separation Kernel, a microkernel architecture devised for cryptographic and other secure applications. Both kernels are refined to the point at which executable code can be extracted. Apart from documenting the process, including proofs, this book also shows how refinement of a realistically sized specification can be undertaken. §Iain Craig is a Chartered Fellow of the BCS and has a PhD in Computer Science.