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: 01433698
Price: 41699 HUF
Availability: InStock
Author: Iain D. Craig
ISBN: 9781846289668

Iain D. Craig

Language

English

Book Hardback

Libristo code: 01433698

Publishers Springer London Ltd, July 2007

The kernel of any operating system is its most critical component. The remainder of the system depen... Full description

Libristo code: 01433698

285 b

41 699 Ft

Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Flex und Flora - Ausgabe 2013 Heike Baligand

Sheet

4 321 Ft

Selbstdarstellung politischer Akteure in den Medien Yasemin Ayanoglu

Paperback

10 422 Ft

Etapes d'Un Mobile Parisien Reveilhac-P

Paperback

7 756 Ft

die nachrichten Alexander Osang

Paperback

6 993 Ft

Kooperatives Und Selbst ndiges Arbeiten Von Sch lern Kerstin Rabenstein

Paperback

22 305 Ft

Ilustrowany inwentarz drzew Virginie Aladjidi

Hardback

4 294 Ft

Auto de los anfitriones ; Anfitrión o Júpiter y Almena Camoens

Paperback

7 062 Ft

L'Indicateur Industriel, Ou Encyclopedie Moderne Contenant Plus de 740 Procedes Ou Recettes Utiles BAROUILLET-J-B

Paperback

11 125 Ft

le tervueren: le chien de toutes les situation Francois Kiesgen De Richter

Paperback

3 956 Ft

Bibliotheken Candida Höfer

Hardback

26 705 Ft

Keine Schonzeit fur Krahen Karl H. Koch

Paperback

7 857 Ft

Spessart, Wetterau, Maintal Rad- und Freizeitkarte GeoMap

Map

3 152 Ft

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.