- 5 Risultati
prezzo più basso: € 124,89, prezzo più alto: € 199,23, prezzo medio: € 169,19
1
Formal Models of Operating System Kernels - Craig, Iain D.
Ordina
da amazon.co.uk
£ 106,89
(indicativi € 124,89)
Spedizione: € 5,611
Ordina
Dettagli del offerente
Link sponsorizzato
Craig, Iain D.:

Formal Models of Operating System Kernels - edizione con copertina flessibile

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

Costi di spedizione:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61)
Chiudere (X)
2
Formal Models of Operating System Kernels - Craig, Iain D. D.
Ordina
da amazon.de
€ 147,58
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato

Craig, Iain D. D.:

Formal Models of Operating System Kernels - edizione con copertina flessibile

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

Costi di spedizione:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
Chiudere (X)
3
Formal Models of Operating System Kernels - Craig, Iain D.
Ordina
da AbeBooks.de
€ 199,23
Spedizione: € 66,801
Ordina
Dettagli del offerente
Link sponsorizzato
Craig, Iain D.:
Formal Models of Operating System Kernels - edizione con copertina flessibile

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

NOT NEW BOOK. Costi di spedizione: EUR 66.80 LowKeyBooks, Sumas, WA, U.S.A. [65875000] [Rating: 5 (von 5)]
Chiudere (X)
4
Ordina
da alibris.co.uk
€ 181,11
Ordina
Dettagli & spedizione
Link sponsorizzato
Iain D. D. Craig:
Formal Models of Operating System Kernels - edizione con copertina flessibile

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

Costi di spedizione:Costi di spedizione aggiuntivi Wilmington, DE, Awesomebooks_Newbooks
Chiudere (X)
5
Ordina
da alibris.co.uk
€ 193,13
Ordina
Dettagli & spedizione
Link sponsorizzato
Craig, Iain D.:
Formal Models of Operating System Kernels - edizione con copertina flessibile

2010, ISBN: 9781849965927

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

Costi di spedizione:Costi di spedizione aggiuntivi Uxbridge, MIDDLESEX, Ria Christie Books
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Formal Models of Operating System Kernels
Autore:
Titolo:
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.

Informazioni dettagliate del libro - Formal Models of Operating System Kernels


EAN (ISBN-13): 9781849965927
ISBN (ISBN-10): 1849965927
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2010
Editore: Springer
348 Pagine
Peso: 0,526 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2011-07-19T23:06:46+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-07-17T13:49:39+02:00 (Zurich)
ISBN/EAN: 1849965927

ISBN - Stili di scrittura alternativi:
1-84996-592-7, 978-1-84996-592-7

Dati dell'editore

Autore: Iain D. Craig
Titolo: Formal Models of Operating System Kernels
Editore: Springer; Springer London
333 Pagine
Anno di pubblicazione: 2010-10-13
London; GB
Stampato / Fatto in
Lingua: Inglese
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
< Per archiviare...