Formal Refinement for Operating System Kernels - Iain D Craig
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre141,78 €
Produit Neuf
Ou 35,45 € /mois
- Livraison à 0,01 €
- Livré entre le 15 et le 27 juillet
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781846289668_dbm
Nos autres offres
-
160,02 €
Produit Neuf
Ou 40,01 € /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 -
156,48 €
Produit Neuf
Ou 39,12 € /mois
- Livraison : 3,99 €
- Livré entre le 15 et le 21 juillet
Voir le détail de l'annonce -
137,99 €
Produit Neuf
Ou 34,50 € /mois
- Livraison : 25,00 €
- Livré entre le 28 juillet et le 3 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
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.
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Photographs
Occasion dès 80,09 €
-
1000 Recettes Simples Et Rapides Pour Air Fryer: Des Plats Variés, Sains Et Gourmands Pour Toute La Famille, Conçus Pour La Friteuse À Air Avec Des ... Pour Chaque Recette. (French Edition)
1 avis
Occasion dès 99,89 €
-
Numicon: Homework Activities Intervention Resource - 'maths Bag' Of Resources Per Pupil
Neuf dès 69,96 €
-
Acta Est - Anglais
Occasion dès 131,99 €
-
Mykonos Muse
Neuf dès 105,00 €
Occasion dès 94,54 €
-
Oxford Resources For Ib Dp Chemistry: Course Book
Neuf dès 103,50 €
-
Official Guide To Oet
Neuf dès 69,41 €
-
Les Troubadours - Anthologie Bilingue - Jacques Roubaud
Occasion dès 130,00 €
-
Aqua
2 avis
Occasion dès 69,00 €
-
Car Racing 1965
1 avis
Neuf dès 109,00 €
Occasion dès 130,80 €
-
The Princeton Companion To Applied Mathematics
1 avis
Neuf dès 128,31 €
-
The Lord Of The Rings
Neuf dès 126,00 €
-
L'ecole De Paris, 1945-1965: Dictionnaire Des Peintres (Dictionnaires)
1 avis
Occasion dès 147,92 €
-
Origami Design Secrets
Neuf dès 138,63 €
-
Jouef : Les Petits Trains De Notre Enfance
1 avis
Occasion dès 115,00 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Car Racing 1970
2 avis
Neuf dès 129,00 €
Occasion dès 154,80 €
-
Financial & Managerial Accounting Ise
Neuf dès 104,72 €
-
Official Game Guide Mass Effect 3 Collector Edition
Occasion dès 79,00 €
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