Formal Refinement for Operating System Kernels
- ISBN
- 9781846289675
Formal Refinement for Operating System Kernels est un operating systems, software engineering book de Iain D. Craig.
Découvrez Formal Refinement for Operating System Kernels de Iain D. Craig, operating systems.
À propos de l'auteur
est l'auteur de Formal Refinement for Operating System Kernels. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de Iain D. Craig →Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Formal Refinement for Operating System Kernels ?+
Formal Refinement for Operating System Kernels est un livre de Operating systems, Software engineering.
Qui a écrit Formal Refinement for Operating System Kernels ?+
Formal Refinement for Operating System Kernels a été écrit par Iain D. Craig.