Formal Models of Operating System Kernels 2024 pdf epub mobi 电子书
简体网页||繁体网页
Formal Models of Operating System Kernels 2024 pdf epub mobi 电子书 著者简介
Formal Models of Operating System Kernels 电子书 图书目录
下载链接在页面底部
点击这里下载
发表于2024-11-26
Formal Models of Operating System Kernels 2024 pdf epub mobi 电子书
Formal Models of Operating System Kernels 2024 pdf epub mobi 电子书
Formal Models of Operating System Kernels 2024 pdf epub mobi 电子书
喜欢 Formal Models of Operating System Kernels 电子书 的读者还喜欢
Formal Models of Operating System Kernels 电子书 读后感
评分
评分
评分
评分
评分
类似图书 点击查看全场最低价
出版者:Springer-Verlag New York Inc
作者:Craig, Iain D.
出品人:
页数:348
译者:
出版时间:2006-11
价格:$ 123.17
装帧:HRD
isbn号码:9781846283758
丛书系列:
图书标签: 计算机 pl
Formal Models of Operating System Kernels 2024 pdf epub mobi 电子书 图书描述
Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach - presenting a formal specification of a kernel - starts with basic constructs and develops a set of kernels; proofs are included as part of the text.
Formal Models of Operating System Kernels 2024 pdf epub mobi 电子书
Formal Models of Operating System Kernels 2024 pdf epub mobi 用户评价
评分
评分
评分
评分
评分
Formal Models of Operating System Kernels 2024 pdf epub mobi 电子书
分享链接
Formal Models of Operating System Kernels pdf 下载
Formal Models of Operating System Kernels epub 下载
Formal Models of Operating System Kernels mobi 下载
Formal Models of Operating System Kernels txt 下载
Formal Models of Operating System Kernels 2024 pdf epub mobi 电子书 下载链接
Formal Models of Operating System Kernels 2024 pdf epub mobi 电子书 下载链接
相关图书
-
Advances in Credit Risk Modelling and Corporate Bankruptcy Prediction 2024 pdf epub mobi 电子书 -
Price and Quantity Index Numbers 2024 pdf epub mobi 电子书
-
Computer Simulations with Mathematica and Java 2024 pdf epub mobi 电子书
-
Church and Society in Byzantium 2024 pdf epub mobi 电子书
-
Microsoft Office 2007 in Business, Core 2024 pdf epub mobi 电子书
-
First Grade Stinks! 2024 pdf epub mobi 电子书
-
Hands-On ZigBee 2024 pdf epub mobi 电子书
-
Practical Model-Based Testing 2024 pdf epub mobi 电子书
-
Jonathan Demme: Interviews 2024 pdf epub mobi 电子书
-
Clatter Bash! 2024 pdf epub mobi 电子书
-
Accordion Dreams 2024 pdf epub mobi 电子书
-
Analysis and Design of Information Systems 2024 pdf epub mobi 电子书
-
The Story Blanket 2024 pdf epub mobi 电子书
-
Night of the Spadefoot Toads 2024 pdf epub mobi 电子书
-
Exploratory Data Analysis Using Fisher Information 2024 pdf epub mobi 电子书
-
Innovation and Diffusion of Software Technology 2024 pdf epub mobi 电子书
-
Advances in Computers 2024 pdf epub mobi 电子书
-
Asset Pricing for Dynamic Economies 2024 pdf epub mobi 电子书
-
Multimedia Over IP and Wireless Networks 2024 pdf epub mobi 电子书
-
Jake's 100th Day of School 2024 pdf epub mobi 电子书
