- 5 Résultats
prix le plus bas: € 124,89, prix le plus élevé: € 199,23, prix moyen: € 169,19
1
Formal Models of Operating System Kernels - Craig, Iain D.
Commander
sur amazon.co.uk
£ 106,89
(environ € 124,89)
Envoi: € 5,611
Commander
Détails du fournisseur
Lien sponsorisé
Craig, Iain D.:

Formal Models of Operating System Kernels - Livres de poche

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

Frais d'envoiDie angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61)
fermer(X)
2
Formal Models of Operating System Kernels - Craig, Iain D. D.
Commander
sur amazon.de
€ 147,58
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé

Craig, Iain D. D.:

Formal Models of Operating System Kernels - Livres de poche

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

Frais d'envoiDie angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
fermer(X)
3
Formal Models of Operating System Kernels - Craig, Iain D.
Commander
sur AbeBooks.de
€ 199,23
Envoi: € 66,801
Commander
Détails du fournisseur
Lien sponsorisé
Craig, Iain D.:
Formal Models of Operating System Kernels - Livres de poche

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

NOT NEW BOOK. Frais d'envoi EUR 66.80 LowKeyBooks, Sumas, WA, U.S.A. [65875000] [Rating: 5 (von 5)]
fermer(X)
4
Commander
sur alibris.co.uk
€ 181,11
Commander
Détails et expédition
Lien sponsorisé
Iain D. D. Craig:
Formal Models of Operating System Kernels - Livres de poche

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

Frais d'envoiLivraison non-comprise Wilmington, DE, Awesomebooks_Newbooks
fermer(X)
5
Commander
sur alibris.co.uk
€ 193,13
Commander
Détails et expédition
Lien sponsorisé
Craig, Iain D.:
Formal Models of Operating System Kernels - Livres de poche

2010, ISBN: 9781849965927

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

Frais d'envoiLivraison non-comprise Uxbridge, MIDDLESEX, Ria Christie Books
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Formal Models of Operating System Kernels
Auteur:
Titre:
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.

Informations détaillées sur le livre - Formal Models of Operating System Kernels


EAN (ISBN-13): 9781849965927
ISBN (ISBN-10): 1849965927
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Springer
348 Pages
Poids: 0,526 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2011-07-19T23:06:46+02:00 (Zurich)
Page de détail modifiée en dernier sur 2023-07-17T13:49:39+02:00 (Zurich)
ISBN/EAN: 9781849965927

ISBN - Autres types d'écriture:
1-84996-592-7, 978-1-84996-592-7

Données de l'éditeur

Auteur: Iain D. Craig
Titre: Formal Models of Operating System Kernels
Editeur: Springer; Springer London
333 Pages
Date de parution: 2010-10-13
London; GB
Imprimé / Fabriqué en
Langue: Anglais
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
< pour archiver...