- 5 Résultats
prix le plus bas: € 19,99, prix le plus élevé: € 160,49, prix moyen: € 81,07
1
Large-Scale Nonlinear Optimization (Nonconvex Optimization and Its Applications, 83, Band 83)
Commander
sur Amazon.de (Intern. Bücher)
€ 19,99
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé

Large-Scale Nonlinear Optimization (Nonconvex Optimization and Its Applications, 83, Band 83) - edition reliée, livre de poche

2006, ISBN: 9781846283758

Springer, Gebundene Ausgabe, Auflage: 2006, 308 Seiten, Publiziert: 2006-01-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 2.95 kg, Verkaufsrang: 941762, Kosten & Controlli… Plus…

Gut Frais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Neu- & Gebrauchtwarenkaufhaus - Preise inkl. MwSt.
fermer(X)
2
Large-Scale Nonlinear Optimization (Nonconvex Optimization and Its Applications, 83, Band 83)
Commander
sur Amazon.de (Intern. Bücher)
€ 19,99
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Large-Scale Nonlinear Optimization (Nonconvex Optimization and Its Applications, 83, Band 83) - edition reliée, livre de poche

2006, ISBN: 9781846283758

Springer, Gebundene Ausgabe, Auflage: 2006, 308 Seiten, Publiziert: 2006-01-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 1.34 kg, Verkaufsrang: 941762, Kosten & Controlli… Plus…

Gut Frais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Neu- & Gebrauchtwarenkaufhaus - Preise inkl. MwSt.
fermer(X)
3
Large-Scale Nonlinear Optimization (Nonconvex Optimization and Its Applications, 83, Band 83)
Commander
sur Amazon.de (Intern. Bücher)
€ 102,44
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Large-Scale Nonlinear Optimization (Nonconvex Optimization and Its Applications, 83, Band 83) - edition reliée, livre de poche

2006

ISBN: 9781846283758

Springer, Gebundene Ausgabe, Auflage: 2006, 308 Seiten, Publiziert: 2006-01-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 2.95 kg, Verkaufsrang: 941762, Kosten & Controlli… Plus…

Frais d'envoiDie angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
fermer(X)
4
Large-Scale Nonlinear Optimization (Nonconvex Optimization and Its Applications, 83, Band 83)
Commander
sur Amazon.de (Intern. Bücher)
€ 102,44
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Large-Scale Nonlinear Optimization (Nonconvex Optimization and Its Applications, 83, Band 83) - edition reliée, livre de poche

2006, ISBN: 9781846283758

Springer, Gebundene Ausgabe, Auflage: 2006, 308 Seiten, Publiziert: 2006-01-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 1.34 kg, Verkaufsrang: 941762, Kosten & Controlli… Plus…

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

2007, ISBN: 9781846283758

*Formal Models of Operating System Kernels* - Auflage 2007 / gebundene Ausgabe für 160.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Medien > Bücher nein Buch (gebunden) H… Plus…

Frais d'envoiShipping in 5 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
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:

9781846283758


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): 9781846283758
ISBN (ISBN-10): 1846283752
Version reliée
Livre de poche
Date de parution: 2006
Editeur: Springer London
338 Pages
Poids: 0,594 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-05-05T10:20:20+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-12-20T04:48:46+01:00 (Paris)
ISBN/EAN: 9781846283758

ISBN - Autres types d'écriture:
1-84628-375-2, 978-1-84628-375-8
Autres types d'écriture et termes associés:
Auteur du livre: craig
Titre du livre: models, system

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: 2006-12-13
London; GB
Langue: Anglais
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
XIII, 333 p.

BB; 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; EA; BC

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