Artículos relacionados a Formal Models of Operating System Kernels
Sinopsis
Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach - presenting a formal specification of a kernel - starts with basic constructs and develops a set of kernels; proofs are included as part of the text.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
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 what is more, a kernel that has security flaws can be exploited by malicious users. Kernels are notoriously complex and hard to understand.
The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating systems are to achieve the levels of reliability and security that is demanded of them today. Specifications of a sequence of kernels of increasing complexity are included, acting as models to enable the designer to identify and reason about the properties of the design thus making explicit that which is too often left implicit or even unknown. A considerable amount of reasoning is included, showing what can be inferred about a design; and in addition, essential properties of data structures and mechanisms are discussed and the properties of these proved. Also included as an essential aspect of the activity, are the interfaces to the hardware and the processes running on them.
It is very easy to get bogged down in complexity issues when considering kernels, but this book s prescriptive rather than descriptive approach shows how the kernel of an operating system can affect both the reliability and performance of these systems in a clear and concise style.
Iain is a fellow of the BSC and has a PhD in Computer Science.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2006
- ISBN 10 1846283752
- ISBN 13 9781846283758
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas348
- Contacto del fabricanteno disponible
EUR 26,69
EUR 94,06 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 46,44
GRATIS gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Formal Models of Operating System Kernels
Imagen de archivo
Formal Models Of Operating System Kernels (Hb 2007)
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-76100
Cantidad disponible: 5 disponibles
Imagen de archivo
Formal Models Of Operating System Kernels (Hb 2007)
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-242223
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Large-Scale Nonlinear Optimization (Nonconvex Optimization and Its Applications, 83)
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_409112052
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Models of Operating System Kernels
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book to provide formal specifications for kernelsClear descriptions of how kernels are central to the functioning of computers, with particular reference to the security and reliability of the operating systemTakes a prescriptive. Nº de ref. del artículo: 4282953
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Models of Operating System Kernels
Publicado por
Springer London, Springer London Dez 2006, 2006
ISBN 10: 1846283752
ISBN 13: 9781846283758
Nuevo
Tapa dura
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 348 pp. Englisch. Nº de ref. del artículo: 9781846283758
Cantidad disponible: 2 disponibles
Imagen de archivo
Formal Models of Operating System Kernels
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9781846283758_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Models of Operating System Kernels
Publicado por
Springer London, Springer London, 2006
ISBN 10: 1846283752
ISBN 13: 9781846283758
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering. Nº de ref. del artículo: 9781846283758
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Models of Operating System Kernels
Publicado por
Springer London, Springer London Dez 2006, 2006
ISBN 10: 1846283752
ISBN 13: 9781846283758
Nuevo
Tapa dura
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch. Nº de ref. del artículo: 9781846283758
Cantidad disponible: 2 disponibles
Imagen de archivo
Formal Models of Operating System Kernels
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9781846283758
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Models of Operating System Kernels
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA75818462837525
Cantidad disponible: 1 disponibles