Apple
Store
Mac
iPad
iPhone
Watch
AirPods
TV & Home
Entertainment
Zubehör
Support
0
+
Apple Books
Vorschau
Lokale Navigation Menü öffnen
Lokale Navigation Menü schließen
Top-Bücher
Top-Hörbücher
Iain D. Craig
Bücher
Virtual Machines
2010
Formal Refinement for Operating System Kernels
2007
Formal Models of Operating System Kernels
2007
Object-Oriented Programming Languages: Interpretation
2007