Formal Refinement for Operating System Kernels - bib.howest.be

Formal Refinement for Operating System Kernels

Type:: e-book
Titel:: Formal Refinement for Operating System Kernels
Auteur:: Craig, I.; Craig, Iain D.
Taal:: Engels
Uitgever:: Springer London 2007
ISBN:: 1-84628-966-1
9786610956890
1-280-95689-5
1-84628-967-X
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000405171