- 5 resultaten
laagste prijs: € 124,89, hoogste prijs: € 199,23, gemiddelde prijs: € 169,19
1
Formal Models of Operating System Kernels - Craig, Iain D.
bestellen
bij amazon.co.uk
£ 106,89
(ongeveer € 124,89)
verzending: € 5,611
bestellen
Details aangeboden
Gesponsorde link
Craig, Iain D.:

Formal Models of Operating System Kernels - pocketboek

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,… Meer...

Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61)
dichtslaan (X)
2
Formal Models of Operating System Kernels - Craig, Iain D. D.
bestellen
bij amazon.de
€ 147,58
verzending: € 3,001
bestellen
Details aangeboden
Gesponsorde link

Craig, Iain D. D.:

Formal Models of Operating System Kernels - pocketboek

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… Meer...

Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
dichtslaan (X)
3
Formal Models of Operating System Kernels - Craig, Iain D.
bestellen
bij AbeBooks.de
€ 199,23
verzending: € 66,801
bestellen
Details aangeboden
Gesponsorde link
Craig, Iain D.:
Formal Models of Operating System Kernels - pocketboek

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 … Meer...

NOT NEW BOOK. Verzendingskosten: EUR 66.80 LowKeyBooks, Sumas, WA, U.S.A. [65875000] [Rating: 5 (von 5)]
dichtslaan (X)
4
bestellen
bij alibris.co.uk
€ 181,11
bestellen
Details en verzending
Gesponsorde link
Iain D. D. Craig:
Formal Models of Operating System Kernels - pocketboek

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… Meer...

Verzendingskosten:exclusief verzendingskosten Wilmington, DE, Awesomebooks_Newbooks
dichtslaan (X)
5
bestellen
bij alibris.co.uk
€ 193,13
bestellen
Details en verzending
Gesponsorde link
Craig, Iain D.:
Formal Models of Operating System Kernels - pocketboek

2010, ISBN: 9781849965927

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

Verzendingskosten:exclusief verzendingskosten Uxbridge, MIDDLESEX, Ria Christie Books
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Formal Models of Operating System Kernels
auteur:
Titel:
ISBN:

9781849965927


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.

Gedetalleerde informatie over het boek. - Formal Models of Operating System Kernels


EAN (ISBN-13): 9781849965927
ISBN (ISBN-10): 1849965927
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
348 Bladzijden
Gewicht: 0,526 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-07-19T23:06:46+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-07-17T13:49:39+02:00 (Amsterdam)
ISBN/EAN: 9781849965927

ISBN - alternatieve schrijfwijzen:
1-84996-592-7, 978-1-84996-592-7

Gegevens van de uitgever

Auteur: Iain D. Craig
Titel: Formal Models of Operating System Kernels
Uitgeverij: Springer; Springer London
333 Bladzijden
Verschijningsjaar: 2010-10-13
London; GB
Gedrukt / Gemaakt in
Taal: Engels
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
< naar Archief...