Formal Models of Operating System Kernels [E-Book] / by Iain D. Craig.
Craig, Iain D.
London : Springer-Verlag London Limited, 2007.
online resource
9781846287183
Full Text
LEADER 00863nmm a22002415u 4500
001 978-1-84628-375-8
003 Springer
008 100301s2007 xx j eng d
020 |a 9781846287183 
035 |a (Sirsi) a250186 
700 1 |a Craig, Iain D. 
245 1 0 |a Formal Models of Operating System Kernels  |h [E-Book] /  |c by Iain D. Craig. 
260 |a London :  |b Springer-Verlag London Limited,  |c 2007.  |e (Springer LINK) 
300 |a online resource 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Operating systems (Computers) 
650 0 |a Computational complexity 
856 4 0 |u http://dx.doi.org/10.1007/978-1-84628-718-3  |z Volltext 
932 |a Computer Science (Springer-11645) 
915 |a zzwFZJ3 
596 |a 1 
949 |a XX(250186.1)  |w AUTO  |c 1  |i 250186-1001  |l ELECTRONIC  |m ZB  |r N  |s Y  |t E-BOOK  |u 14/7/2011  |x UNKNOWN  |z UNKNOWN  |1 ONLINE