扫一扫
关注中图网
官方微博
>
关于“何炎祥”检索到 共3种现货商品
出版社：
售价：
-
计算机操作系统(第二版)
¥35.9(7.2折)定价:¥49.8本书着重讨论操作系统设计的基本概念、基本原理和典型技术，讲述构造操作系统过程中可能面临的种种问题及其解决办法；介绍操作系统设计中的一些非常重要的进展，包括线程、实时系统、多处理器调度、进程迁移、分布式计算模式、分布式进程管理、中间件技术、微核技术、操作系统的安全性等。为了帮助读者更好地理解操作系统的概念、原理和方法，更好地将理论与实际设计相结合，笔者选择了目前具有代表性、典型性的操作系统Windows NT、UNIX、Linux作为实
-
计算机操作系统(第2版)
¥24.3(6.1折)定价:¥39.9本书着重讨论操作系统设计的基本概念、基本原理和典型技术，讲述构造操作系统过程中可能面临的种种问题及其解决办法；介绍操作系统设计中的一些很好重要的进展，包括线程、实时系统、多处理器调度、进程迁移、分布式计算模式、分布式进程管理、中间件技术、微核技术、操作系统的安全性等。为了帮助读者更好地理解操作系统的概念、原理和方法，更好地将理论与实际设计相结合，笔者选择了目前具有代表性、典型性的操作系统WindowsNT、UNIX、Linux作为实例
-
高级语言程序变换的机械化证明导论/信息科学技术学术著作丛书
¥87.6(7.3折)定价:¥120.0随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详述验证编译器的开发和实现。本书可供计算机科学与技术、信息安全、软件工程、计算机应用技术等相关专业的高年级本科生和研究生学习，也可供从事机械化定理证明、可信软件
