[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Formal Models of Operating System Kernels

Langue AnglaisAnglais
Livre Livre relié
Livre Formal Models of Operating System Kernels Iain D. Craig
Code Libristo: 08847119
Éditeurs Springer London Ltd, novembre 2006
Operating systems kernels are central to the functioning of computers. Security of the overall syste... Description détaillée
? points 488 b
206.48 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

Wie ein Licht in der Nacht, 1 DVD Christiane Hörbiger / DVD
common.buy 14.98 €
Federalist Alexander Hamilton / Livre de poche
common.buy 31.67 €
Young Voices Life with Diabetes Hala Khalaf / Livre relié
common.buy 52.98 €
Marylanders All Earl Brannock / Livre relié
common.buy 38.52 €
Holiness Teachings Benson T. Roberts / Livre de poche
common.buy 12.09 €
Curve of Nature Helen S McCloskey / Livre relié
common.buy 34.56 €
Ann Veronica H G Wells / Livre de poche
common.buy 21.83 €
Mantelzorgers en vrijwilligers in beeld Wilco Kruijswijk / Livre de poche
common.buy 43.98 €

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 title presents a formal specification of a kernel, starting with basic constructs and developing a set of kernels.

À propos du livre

Nom complet Formal Models of Operating System Kernels
Auteur Iain D. Craig
Langue Anglais
Reliure Livre - Livre relié
Date de parution 2006
Nombre de pages 333
EAN 9781846283758
ISBN 9781846283758
Code Libristo 08847119
Éditeurs Springer London Ltd
Poids 688
Dimensions 155 x 235 x 24

Catégories

Informatique et technologies de l’information > Informatique > Informatique théorique > Mathématiques pour les informaticiens
Mathématiques et sciences > Mathématiques > Mathématiques discrètes
Informatique et technologies de l’information > Applications métiers > Logiciel de mathématiques et statistiques
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Analyse et conception de systèmes
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Systèmes d’exploitation
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo