Iain D.Graig <br/><br/>
Formal models of Operating System 

 - Germany  Springer  2007 
<br/><br/><label>ISBN: </label>0000104387 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Kernels <br/> models <br/> Operating <br/> System<br/>Formal <br/>Operating Systems
<br/><br/><label>Dewey Class. No.: </label>1.6424