Formal Models of Operating System Kernels - Craig, Iain D.
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre192,71 €
Produit Neuf
Ou 48,18 € /mois
- Livraison à 0,01 €
- Livré entre le 26 mai et le 3 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781849965927_dbm
Nos autres offres
-
58,72 €
Occasion · Bon État
Ou 14,68 € /mois
- Livraison : 0,00 €
- Livré entre le 9 et le 15 juin
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 -
192,71 €
Produit Neuf
Ou 48,18 € /mois
- Livraison à 0,01 €
- Livré entre le 26 mai et le 3 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781849965927_dbm
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 Models Of Operating System Kernels Format Broché - Livre Informatique
0 avis sur Formal Models Of Operating System Kernels Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Portfolio Joubert "Les Scouts"
Occasion dès 75,00 €
-
The Lines Of My Hand
1 avis
Occasion dès 79,00 €
-
Vitalogy; Or, Encyclopedia Of Health And Home
Neuf dès 51,67 €
-
Kodak Pixpro Fz55 :
Neuf dès 48,99 €
-
Product Roadmaps Relaunched
Neuf dès 45,66 €
Occasion dès 33,49 €
-
Citizen Marx
Neuf dès 49,07 €
-
Married Women Who Love Women
Neuf dès 50,64 €
-
Gedichte
Neuf dès 46,66 €
-
Under Siege
Neuf dès 40,31 €
-
Moonwalk By Michael Jackson
2 avis
Occasion dès 70,46 €
-
The Young Adventurer's Collection [Dungeons & Dragons 4-Book Boxed Set]
Neuf dès 35,49 €
-
Gottfried Wilhelm Leibniz: De Conditionibus (Bibliotheque Des Textes Philosophiques)
Neuf dès 37,00 €
-
The Young Adventurer's Collection Box Set 2 (Dungeons & Dragons 4-Book Boxed Set)
Neuf dès 37,27 €
-
Scottish Public Opinion And The Anglo-Scottish Union, 1699-1707
Neuf dès 30,01 €
-
Best Karate, Vol.3
Occasion dès 39,00 €
-
Ocp Oracle Certified Professional Java Se 21 Developer Study Guide
Neuf dès 72,73 €
-
Joel Meyerowitz: Europa 1966-1967
Neuf dès 50,00 €
-
Western Technology And Soviet Economic Development 1945-1968
Neuf dès 60,23 €
-
Toute Photographie Fait Énigme
Occasion dès 45,80 €
-
Quantum Computing: An Applied Approach
Occasion dès 38,57 €
Produits similaires
Présentation Formal Models Of Operating System Kernels Format Broché
- Livre Informatique
Résumé :
The work that this book represents is something I have wanted to do since 1979. While in Ireland, probably in 2001, I sketched some parts of a small operating system speci?cation in Z but left it because of other duties. In 2002, I worked on the sketches again but was interrupted. Finally, in April, 2005, I decided to devote some time to it and produced what amounted to a ?rst version of the kernel to be found in Chapter 3 of this book. I even produced a few proofs, just to show that I was not on a completely insane tack. I decided to suggest the material as the subject of a book to Beverley Ford. The material was sent on a Thursday (I think). The following Monday, I received an email from her saying that it had gone out for review. The review process took less than 2 weeks; the response was as surprising as it was encouraging: a de?nite acceptance. So I got on with it. This book is intended as a new way to approach operating systems - sign in general, and kernel design in particular. It was partly driven by the old ambition mentioned above, by the need for greater clarity where it comes to kernels and by the need, as I see it, for a better foundation for operating systemsdesign.Securityaspects,too,playedapart?asnotedintheintrod- tory chapter, if a system?s kernel is insecure or unreliable, it will undermine attemptstoconstructsecuresoftwareontopofit.Securitydoesnototherwise play a part in this book.
Détails de conformité du produit
Personne responsable dans l'UE