000 00494nam a2200157Ia 4500
008 191030s9999 xx 000 0 und d
020 _a978-1-84628-718-3
100 _aIain D. Craig
245 0 _aFormal Models of Operating System Kernels
260 _aGermany
_bSpringer
_c2007
536 _aManagement
650 _aComputer Science
650 _aFormal Models of Operating System Kernels
856 _uhttp://link.springer.com/openurl?genre=book&isbn=978-1-84628-375-8
942 _cE_BOOK
999 _c58844
_d58844