Formal Refinement for Operating System Kernels 2024 pdf epub mobi 电子书
简体网页||繁体网页
Formal Refinement for Operating System Kernels 2024 pdf epub mobi 电子书 著者简介
Formal Refinement for Operating System Kernels 电子书 图书目录
下载链接在页面底部
点击这里下载
发表于2024-12-28
Formal Refinement for Operating System Kernels 2024 pdf epub mobi 电子书
Formal Refinement for Operating System Kernels 2024 pdf epub mobi 电子书
Formal Refinement for Operating System Kernels 2024 pdf epub mobi 电子书
喜欢 Formal Refinement for Operating System Kernels 电子书 的读者还喜欢
Formal Refinement for Operating System Kernels 电子书 读后感
评分
评分
评分
评分
评分
类似图书 点击查看全场最低价
出版者:Springer
作者:Iain D. Craig
出品人:
页数:348
译者:
出版时间:2007-07-25
价格:USD 99.00
装帧:Hardcover
isbn号码:9781846289668
丛书系列:
图书标签: 操作系统
Formal Refinement for Operating System Kernels 2024 pdf epub mobi 电子书 图书描述
The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.
Formal Refinement for Operating System Kernels 2024 pdf epub mobi 电子书
Formal Refinement for Operating System Kernels 2024 pdf epub mobi 用户评价
评分
评分
评分
评分
评分
Formal Refinement for Operating System Kernels 2024 pdf epub mobi 电子书
分享链接
Formal Refinement for Operating System Kernels pdf 下载
Formal Refinement for Operating System Kernels epub 下载
Formal Refinement for Operating System Kernels mobi 下载
Formal Refinement for Operating System Kernels txt 下载
Formal Refinement for Operating System Kernels 2024 pdf epub mobi 电子书 下载链接
Formal Refinement for Operating System Kernels 2024 pdf epub mobi 电子书 下载链接
相关图书
-
Meditation Now or Never 2024 pdf epub mobi 电子书 -
The Ship of Fools, Volume 1 2024 pdf epub mobi 电子书
-
Dump That Chump! 2024 pdf epub mobi 电子书
-
The Bully in Your Relationship 2024 pdf epub mobi 电子书
-
See Sally Kick Ass 2024 pdf epub mobi 电子书
-
Take Time for You 2024 pdf epub mobi 电子书
-
How to Improve Your Self-Esteem 2024 pdf epub mobi 电子书
-
Eastern Promise 2024 pdf epub mobi 电子书
-
Out of the Box 2024 pdf epub mobi 电子书
-
From Desperation to Dedication 2024 pdf epub mobi 电子书
-
"Kama Sutra" 2024 pdf epub mobi 电子书
-
Alcoholics Anonymous - Big Book Special Edition - Including 2024 pdf epub mobi 电子书
-
Why Good People Make Bad Choices 2024 pdf epub mobi 电子书
-
My Mother's Rules 2024 pdf epub mobi 电子书
-
Sole Sisters 2024 pdf epub mobi 电子书
-
Strengthen Your Mind 2024 pdf epub mobi 电子书
-
Happy New Year to You 2024 pdf epub mobi 电子书
-
AMAZING STORIES - Volume 38, number 7 - July 1964 2024 pdf epub mobi 电子书
-
History of Nova Scotia, Cape Breton, the Sable Islands, New Brunswick, Prince Edward Island, the Ber 2024 pdf epub mobi 电子书
-
Off the Bench and into the Game 2024 pdf epub mobi 电子书
