Formal Refinement for Operating System Kernels
- ISBN
- 9781846289675
Formal Refinement for Operating System Kernels è un operating systems, software engineering book di Iain D. Craig.
Scopri Formal Refinement for Operating System Kernels di Iain D. Craig, operating systems.
Sull'Autore
è l'autore di Formal Refinement for Operating System Kernels. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Iain D. Craig →Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è Formal Refinement for Operating System Kernels?+
Formal Refinement for Operating System Kernels è un libro di Operating systems, Software engineering.
Chi ha scritto Formal Refinement for Operating System Kernels?+
Formal Refinement for Operating System Kernels è stato scritto da Iain D. Craig.