Formal Models of Operating System Kernels - Iain D. Craig - Libros - Springer London Ltd - 9781846283758 - 13 de diciembre de 2006
En caso de que portada y título no coincidan, el título será el correcto

Iain D. Craig
Formal Models of Operating System Kernels 2007 edition

Precio
€ 141,99

Pedido desde almacén remoto

Entrega prevista 31 de dic. - 5 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

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;

333 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 13 de diciembre de 2006
ISBN13 9781846283758
Editores Springer London Ltd
Páginas 333
Dimensiones 155 × 235 × 20 mm   ·   594 g
Lengua Inglés  

Mas por Iain D. Craig

Mostrar todo

Ver todo de Iain D. Craig ( Ej. Paperback Book y Hardcover Book )