購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
精确
模式”搜“
华保健 華保健
”共有
3
结果：
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
形式化方法：理论及应用
『简体书』 作者：华保健 出版：中国科学技术大学出版社 日期：2024-05-01 拟对在计算机科学中广泛应用的形式化方法理论和典型应用做全面的介绍，基本内容包括形式化方法的基础知识、命题逻辑、布尔可满足性、一阶逻辑、可满足性模理论、等式与未解释函数、线性算术理论、数据结构相关理论、理论组合、软件形式化建模、符号执行、程序验证、程序合成、程序切片等。本书适合于计算机科学与技术、软件工程、信息安全等专业 ... |
詳情>> | |
 |
深入浅出：Java虚拟机设计与实现
『简体书』 作者：华保健 出版：机械工业出版社 日期：2020-04-01 《深入浅出：Java虚拟机设计与实现》由国内编译器和虚拟机方面的研究者执笔，详细介绍了 Java 虚拟机设计与实现的各个方面，并给出了相关算法的实现。全书围绕虚拟机架构，讨论了虚拟机中的所有重要组件，包括类加载器、执行引擎、本地方法接口、异常处理、堆和垃圾收集、多线程及调试。 《深入浅出：Java虚拟机设计与实现》 ... |
詳情>> | |
 |
毕昇编译器原理与实践
『简体书』 作者：华保健 高耀清 出版：清华大学出版社 日期：2022-11-01 《毕?N编译器原理与实践》详细讨论了毕?N编译器的设计原理与实现，深入介绍了现代编译器设计和实践。全书共 8 章，包括编译器概述，鲲鹏处理器，编译器前端的词法分析、语法分析和语义分析，编译器中端的中间表示、中间代码生成、中间代码优化、静态单赋值形式等，编译器后端的指令选择、指令调度、寄存器分配等内容。本书重点讨论了毕? ... |
詳情>> | |
| >>> （頁碼:1/1 行數:20/3） 1 |
如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
| megBook.com.hk | |
| Copyright © 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |