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…
amazon.co.uk Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) Details... |
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…
amazon.de Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
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…
AbeBooks.de LowKeyBooks, Sumas, WA, U.S.A. [65875000] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 66.80 Details... |
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…
alibris.co.uk |
2010, ISBN: 9781849965927
Paperback, New., 333 p. XIII, 333 p. Intended for professional and scholarly audience., England, [PU: Springer London Ltd]
alibris.co.uk |
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…
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…
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…
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…
2010, ISBN: 9781849965927
Paperback, New., 333 p. XIII, 333 p. Intended for professional and scholarly audience., England, [PU: Springer London Ltd]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781461379201 Smooth Nonlinear Optimization in Rn (Tamás Rapcsák)
- 9781461379201 Smooth Nonlinear Optimization in Rn (Tamás Rapcsák)
- 9781441940148 Large-Scale Nonlinear Optimization (Pillo, Gianni|Roma, Massimo)
- 9781846283758 Formal Models of Operating System Kernels (Iain D. Craig)
- 9780792346807 Smooth Nonlinear Optimization in Rn (Nonconvex Optimization and Its Applications) (Rapcsák, Tamás)
- 9780387300634 Large-Scale Nonlinear Optimization by Gianni Pillo Hardcover | Indigo Chapters (Gianni Pillo)
< zum Archiv...