- 5 Resultados
precio mínimo: € 124,89, precio máximo: € 199,23, precio promedio: € 169,19
1
Formal Models of Operating System Kernels - Craig, Iain D.
Pedir
por amazon.co.uk
£ 106,89
(aprox. € 124,89)
Envío: € 5,611
Pedir
Detalles del proveedor
Enlace patrocinado
Craig, Iain D.:

Formal Models of Operating System Kernels - Pasta blanda

2010, ISBN: 9781849965927

Springer, Paperback, Auflage: Softcover reprint of hardcover 1st ed. 2007, 346 Seiten, Publiziert: 2010-10-13T00:00:01Z, Produktgruppe: Book, 0.49 kg, Operating Systems, Computer Science,… Más…

Gastos de envío:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61)
cerrar (X)
2
Formal Models of Operating System Kernels - Craig, Iain D. D.
Pedir
por amazon.de
€ 147,58
Envío: € 3,001
Pedir
Detalles del proveedor
Enlace patrocinado

Craig, Iain D. D.:

Formal Models of Operating System Kernels - Pasta blanda

2010, ISBN: 9781849965927

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 348 Seiten, Publiziert: 2010-10-13T00:00:01Z, Produktgruppe: Buch, 1.08 kg, Informatik, IT-Ausbildung & -Beruf… Más…

Gastos de envío:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
cerrar (X)
3
Formal Models of Operating System Kernels - Craig, Iain D.
Pedir
por AbeBooks.de
€ 199,23
Envío: € 66,801
Pedir
Detalles del proveedor
Enlace patrocinado
Craig, Iain D.:
Formal Models of Operating System Kernels - Pasta blanda

2010

ISBN: 1849965927

[EAN: 9781849965927], Gebraucht, guter Zustand, [PU: Springer 2010-10-13], Item is in like new condition with minor shelf wear. Might have a remainder mark or slight wear from sitting on … Más…

NOT NEW BOOK. Gastos de envío: EUR 66.80 LowKeyBooks, Sumas, WA, U.S.A. [65875000] [Rating: 5 (von 5)]
cerrar (X)
4
Pedir
por alibris.co.uk
€ 181,11
Pedir
Detalles y envío
Enlace patrocinado
Iain D. D. Craig:
Formal Models of Operating System Kernels - Pasta blanda

2010, ISBN: 9781849965927

Paperback, Neubuch, BRAND NEW BOOK! Shipped within 24-48 hours. Normal delivery time is 5-12 days. Please note some orders may be shipped from UK with same delivery timeframe, ***NO EXPED… Más…

Gastos de envío:más gastos de envío Wilmington, DE, Awesomebooks_Newbooks
cerrar (X)
5
Pedir
por alibris.co.uk
€ 193,13
Pedir
Detalles y envío
Enlace patrocinado
Craig, Iain D.:
Formal Models of Operating System Kernels - Pasta blanda

2010, ISBN: 9781849965927

Paperback, New., 333 p. XIII, 333 p. Intended for professional and scholarly audience., England, [PU: Springer London Ltd]

Gastos de envío:más gastos de envío Uxbridge, MIDDLESEX, Ria Christie Books
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Formal Models of Operating System Kernels
Autor:
Título:
ISBN:

1849965927


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.

Detalles del libro - Formal Models of Operating System Kernels


EAN (ISBN-13): 9781849965927
ISBN (ISBN-10): 1849965927
Tapa dura
Tapa blanda
Año de publicación: 2010
Editorial: Springer
348 Páginas
Peso: 0,526 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2011-07-19T16:06:46-05:00 (Mexico City)
Página de detalles modificada por última vez el 2023-07-17T05:49:39-06:00 (Mexico City)
ISBN/EAN: 1849965927

ISBN - escritura alterna:
1-84996-592-7, 978-1-84996-592-7

Datos del la editorial

Autor: Iain D. Craig
Título: Formal Models of Operating System Kernels
Editorial: Springer; Springer London
333 Páginas
Año de publicación: 2010-10-13
London; GB
Impreso en
Idioma: Inglés
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XIII, 333 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Hardware; Performance; Text; complexity; computer; data structures; formal specification; kernel; operating system; security; Computer System Implementation; Operating Systems; Software Engineering; Discrete Mathematics in Computer Science; Mathematical Applications in Computer Science; Betriebssysteme; Software Engineering; Mathematik für Informatiker; Diskrete Mathematik; Theoretische Informatik; BB

Standard and Generic Components.- A Simple Kernel.- A Swapping Kernel.- Using Messages in the Swapping Kernel.- Virtual Storage.- Final Remarks.
First book to provide formal specifications for kernels Clear descriptions of how kernels are central to the functioning of computers, with particular reference to the security and reliability of the operating system Takes a prescriptive rather than the usual descriptive approach
< para archivar...