- 5 resultados
menor preço: € 124,89, preço mais alto: € 199,23, preço médio: € 169,19
1
Formal Models of Operating System Kernels - Craig, Iain D.
Encomendar
no/na amazon.co.uk
£ 106,89
(aproximadamente € 124,89)
Envio: € 5,611
Encomendar
Detalhes fornecedor
Link patrocinado
Craig, Iain D.:

Formal Models of Operating System Kernels - Livro de bolso

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,… mais…

Custos de envio:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61)
fechar(X)
2
Formal Models of Operating System Kernels - Craig, Iain D. D.
Encomendar
no/na amazon.de
€ 147,58
Envio: € 3,001
Encomendar
Detalhes fornecedor
Link patrocinado

Craig, Iain D. D.:

Formal Models of Operating System Kernels - Livro de bolso

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… mais…

Custos de envio:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
fechar(X)
3
Formal Models of Operating System Kernels - Craig, Iain D.
Encomendar
no/na AbeBooks.de
€ 199,23
Envio: € 66,801
Encomendar
Detalhes fornecedor
Link patrocinado
Craig, Iain D.:
Formal Models of Operating System Kernels - Livro de bolso

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 … mais…

NOT NEW BOOK. Custos de envio: EUR 66.80 LowKeyBooks, Sumas, WA, U.S.A. [65875000] [Rating: 5 (von 5)]
fechar(X)
4
Encomendar
no/na alibris.co.uk
€ 181,11
Encomendar
Detalhes e envio
Link patrocinado
Iain D. D. Craig:
Formal Models of Operating System Kernels - Livro de bolso

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… mais…

Custos de envio:mais custos de envio Wilmington, DE, Awesomebooks_Newbooks
fechar(X)
5
Encomendar
no/na alibris.co.uk
€ 193,13
Encomendar
Detalhes e envio
Link patrocinado
Craig, Iain D.:
Formal Models of Operating System Kernels - Livro de bolso

2010, ISBN: 9781849965927

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

Custos de envio:mais custos de envio Uxbridge, MIDDLESEX, Ria Christie Books
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do artigo, de uma possível adesão à plataforma, de uma entrega directa pela plataforma ou através de um terceiro fornecedor (Marketplace), etc., é possível que os custos de envio indicados pelo eurolivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Formal Models of Operating System Kernels
Autor:
Título:
Número 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.

Dados detalhados do livro - Formal Models of Operating System Kernels


EAN (ISBN-13): 9781849965927
ISBN (ISBN-10): 1849965927
Livro de capa dura
Livro de bolso
Ano de publicação: 2010
Editor/Editora: Springer
348 Páginas
Peso: 0,526 kg
Língua: eng/Englisch

Livro na base de dados desde 2011-07-19T22:06:46+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-07-17T12:49:39+01:00 (Lisbon)
Número ISBN/EAN: 1849965927

Número ISBN - Ortografia alternativa:
1-84996-592-7, 978-1-84996-592-7

Dados da editora

Autor: Iain D. Craig
Título: Formal Models of Operating System Kernels
Editora: Springer; Springer London
333 Páginas
Ano de publicação: 2010-10-13
London; GB
Impresso / Feito em
Língua: 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 arquivar...