Formal Models of Operating System Kernels

Format:: e-book
Title:: Formal Models of Operating System Kernels
Author:: Craig, I.
Language:: English
Publisher:: Springer London 2007
ISBN:: 1-84628-375-2
1-84996-592-7
9786610804726
1-280-80472-6
1-84628-718-9
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000284099?locale=en