- 5 Ergebnisse
Kleinster Preis: € 124,89, größter Preis: € 199,23, Mittelwert: € 169,19
1
Formal Models of Operating System Kernels - Craig, Iain D.
Bestellen
bei amazon.co.uk
£ 106,89
(ca. € 124,89)
Versand: € 5,611
Bestellen
Details beim Anbieter
gesponserter Link
Craig, Iain D.:

Formal Models of Operating System Kernels - Taschenbuch

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

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61)
zuklappen (X)
2
Formal Models of Operating System Kernels - Craig, Iain D. D.
Bestellen
bei amazon.de
€ 147,58
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

Craig, Iain D. D.:

Formal Models of Operating System Kernels - Taschenbuch

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

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
3
Formal Models of Operating System Kernels - Craig, Iain D.
Bestellen
bei AbeBooks.de
€ 199,23
Versand: € 66,801
Bestellen
Details beim Anbieter
gesponserter Link
Craig, Iain D.:
Formal Models of Operating System Kernels - Taschenbuch

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

NOT NEW BOOK. Versandkosten: EUR 66.80 LowKeyBooks, Sumas, WA, U.S.A. [65875000] [Rating: 5 (von 5)]
zuklappen (X)
4
Bestellen
bei alibris.co.uk
€ 181,11
Bestellen
Details und Versand
gesponserter Link
Iain D. D. Craig:
Formal Models of Operating System Kernels - Taschenbuch

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

Versandkosten:zzgl. Versandkosten Wilmington, DE, Awesomebooks_Newbooks
zuklappen (X)
5
Bestellen
bei alibris.co.uk
€ 193,13
Bestellen
Details und Versand
gesponserter Link
Craig, Iain D.:
Formal Models of Operating System Kernels - Taschenbuch

2010, ISBN: 9781849965927

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

Versandkosten:zzgl. Versandkosten Uxbridge, MIDDLESEX, Ria Christie Books
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Formal Models of Operating System Kernels
Autor:
Titel:
ISBN-Nummer:

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.

Detailangaben zum Buch - Formal Models of Operating System Kernels


EAN (ISBN-13): 9781849965927
ISBN (ISBN-10): 1849965927
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer
348 Seiten
Gewicht: 0,526 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2011-07-19T23:06:46+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-07-17T13:49:39+02:00 (Berlin)
ISBN/EAN: 1849965927

ISBN - alternative Schreibweisen:
1-84996-592-7, 978-1-84996-592-7

Daten vom Verlag:

Autor/in: Iain D. Craig
Titel: Formal Models of Operating System Kernels
Verlag: Springer; Springer London
333 Seiten
Erscheinungsjahr: 2010-10-13
London; GB
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
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
< zum Archiv...