登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Formal Models of Operating System Kernels
EISBN：9781846287183
PISBN：9781846283758
出版社：Springer London
出版类型：Monograph
出版时间：2007
作者：Iain D. Craig
主题词：Operating Systems,Software Engineering,Discrete Mathematics in Computer Science,Math Applications in Computer Science
语种：英语
所属数据库：SpringerLink电子图书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal Refinement for Operating System Kernels
  • 作者：Iain D. Craig
  • EISBN：9781846289675
  • 出版社：Springer London
  • 出版时间：2007
...

Formal Methods and Models for System Design
  • 作者：Rajesh Gupta,Paul Le Guernic,Sandeep Kumar Shukla,Jean-Pierre Talpin
  • EISBN：9781402080524
  • 出版社：Springer US
  • 出版时间：2004
...

Formal Methods and Models for System Design
  • 作者：Rajesh Gupta,Paul Le Guernic,Sandeep Kumar Shukla,Jean-Pierre Talpin
  • EISBN：9781402080524
  • 出版社：Springer US
  • 出版时间：2004
...

Operating System Forensics
  • 作者：Messier,Ric
  • PISBN：9780128019498
  • 出版时间：2016
...

UNIX Operating System
  • 作者：Yukun Liu,Yong Yue,Liwei Guo
  • EISBN：9783642204326
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2011
...

The MOSIX Distributed Operating System
  • 作者：Amnon Barak,Shai Guday,Richard G. Wheeler
  • EISBN：9783540476245
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1993