156,71 €
Produit Neuf
Ou 39,18 € /mois
- Livraison : 3,99 €
- Livré entre le 6 et le 13 octobre
Nos autres offres
-
284,26 €
Produit Neuf
Ou 71,07 € /mois
- Livraison à 0,01 €
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Formal Refinement For Operating System Kernels de Iain D Craig Format Relié - Livre Informatique
0 avis sur Formal Refinement For Operating System Kernels de Iain D Craig Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Partial Differential Equations Of Elliptic Type
Neuf dès 83,65 €
-
Non-Homogeneous Media And Vibration Theory
Neuf dès 134,88 €
-
Riemannian Geometry
Neuf dès 158,88 €
Occasion dès 179,40 €
-
Foundations Of Mechanics - Updated 1985 Printing - Second Edition Revised, Enlarged, And Reset
Occasion dès 99,48 €
-
Carlo Mollino - Polaroid
Occasion dès 135,00 €
-
Found, Not Lost
Neuf dès 165,88 €
-
Superman By Peter J. Tomasi And Patrick Gleason Omnibus
Neuf dès 127,58 €
-
The Chateauneuf-Du-Pape Wine Book
1 avis
Occasion dès 112,50 €
-
Toilet Paper: Tar Edition
Occasion dès 133,08 €
-
Malevich, Artist And Theoretician
Occasion dès 155,99 €
-
Subway Love
Occasion dès 86,68 €
-
Red Dead Redemption 2 Guide Complet
1 avis
Occasion dès 100,00 €
-
Tartan: Romancing The Plaid
Occasion dès 213,99 €
-
Behind Bars: The Definitive Guide To Music Notation
Neuf dès 101,68 €
-
Common Sense
Occasion dès 115,00 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 90,00 €
-
Shade, The Changing Man By Peter Milligan And Chris Bachalo Omnibus Vol. 1
Neuf dès 128,52 €
-
Pierre Bayle
Neuf dès 222,62 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
Xl-Redoute. Selection Of The Most Beautiful Flowers - Italien - Espagnol - Portugais
Occasion dès 219,70 €
Produits similaires
Présentation Formal Refinement For Operating System Kernels de Iain D Craig Format Relié
- Livre Informatique
Biographie:
the usual process of yo-yoing between levels of the derivation was absent. This appears to be an inevitable consequence of experience....
Sommaire:
This book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, actually, quite easy, or so I have found thus far). Itisimportantforthereadertounderstandthatthere?nementscontained in this book are not the only ones I have performed of microkernels. To date, I have re?ned four microkernels down to executable code and have now p- duced a kit of formally speci?ed components that can be composed to form kernels. The ?rst kernel included in this book is just one example of this work. The second kernel, the Separation Kernel, is new and was partly constructed out of the kit of parts (and the reader will see reuse in its speci?cation and re?nement) and was included for speci?c reasons that will become clear anon. Bothkernelstooklessthanthreemonths'workingtimetoproduce(theactual time is rather hard to calculate because of frequent interruptions). Previous experience in re?ning kernels also paid o? in the sense that there was l- tle revision involved in their speci?cation or re?nement...
Détails de conformité du produit
Personne responsable dans l'UE