Formal models of operating system kernels /
Saved in:
Main Author: | Craig, Iain D. (Author) |
---|---|
Corporate Author: | SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
London
Springer-Verlag London Limited
2007.
|
Subjects: | |
Online Access: | Click here to view the full text content |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Formal refinement for operating system kernels /
by: Craig, Iain D.
Published: (2007) -
Formal refinement for operating system kernels /
by: Craig, Iain D.
Published: (2007) -
Formal methods in software and systems modeling essays dedicated to hartmut ehrig on the occasion of his 60th birthday
Published: (2005) -
Formal refinement for operating system kernels /
Published: (2007) -
Virtual Machines
by: Craig, Iain D.
Published: (2006)