Apple
Mac
iPad
iPhone
Watch
AirPods
TV
Entertainment
Support
Where to Buy
Apple Books
Preview
Local Nav Open Menu
Local Nav Close Menu
Top Books
Top Audiobooks
Iain D. Craig
Books
Virtual Machines
2010
Formal Refinement for Operating System Kernels
2007
Formal Models of Operating System Kernels
2007
Object-Oriented Programming Languages: Interpretation
2007