Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Formal Refinement for Operating System Kernels

Name: Formal Refinement for Operating System Kernels
Brand: Springer London Ltd
SKU: 01433698
Price: 118.19 EUR
Availability: InStock
Author: Iain D. Craig
ISBN: 9781846289668

Iain D. Craig

Idioma

Inglés

Libro Tapa dura

Código Libristo: 01433698

Editores Springer London Ltd, julio 2007

The kernel of any operating system is its most critical component. The remainder of the system depen... Descripción completa

Código Libristo: 01433698

289 b

118.19 €

Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Kooperatives Und Selbst ndiges Arbeiten Von Sch lern Kerstin Rabenstein

Tapa blanda

63.39 €

Etapes d'Un Mobile Parisien Reveilhac-P

Tapa blanda

20.39 €

Emerging contaminants. Arzneimittelruckstande in Abwassern anhand von Stoffgruppen, Nachweis, Reinigungs- und Sanierungstechniken Isabelle Viole

Tapa blanda

17.89 €

Flex und Flora - Ausgabe 2013 Heike Baligand

Hoja

12.29 €

Naïf ou le petit chose Remi Clignet

Tapa blanda

24.09 €

Dissertatio Botanica Qua Plantae Martino-Burserianae (1745) Carl Von Linne

Tapa blanda

25.89 €

Spessart, Wetterau, Maintal Rad- und Freizeitkarte GeoMap

Mapa

9.29 €

Keine Schonzeit fur Krahen Karl H. Koch

Tapa blanda

22.29 €

die nachrichten Alexander Osang

Tapa blanda

19.89 €

Selbstdarstellung politischer Akteure in den Medien Yasemin Ayanoglu

Tapa blanda

29.69 €

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

Tapa blanda

10.69 €

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

Tapa blanda

30.19 €

Bibliotheken Candida Höfer

Tapa dura

75.39 €

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

Tapa blanda

19.19 €

Ilustrowany inwentarz drzew Virginie Aladjidi

Tapa dura

12.99 €

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.