| |
|
|
| |
|
|
|
|
|
|
|
ISBN： |
9787115471215 |
| 定价: |
RMB79.00 |
| 售价: |
RM86.90 |
|
优惠价:
|
RM60.83 * (-30%)
|
| 库存量:
|
購買後立即進貨
下单时可选择“空运”或“海运”（空运和海运需独立下单）。空运费每本书/CD是RM25.00。
空运需时9-12个工作天，海运需时约30个工作天。
（以上预计时间不包括出版社调货的时间以及尚未出版的预购商品）
库存有限或需要调货，订购时间可能延长。如无法订购则将通知进行退款。 |
| |
我要订购 |
| |
放入下次购买清单 |
| |
|
|
作者：
|
陳鋼等
|
|
出版社： |
人民郵電出版社
|
|
出版日期：
|
2018-06-01 |
|
装订:
|
平裝. 無. 314 页. 16. |
| |
|
| |
|
|
|
| |
|
|
|
|
|
|
| |
|
|
| |
本書是OCaml語言程序設計基礎性入門書。講解了函數式程序設計的基礎知識，包括函數式控制結構和函數式數據結構，類型推導的基本原理，OCaml語言對命令式編程的支持，基於模塊和函子的模塊化程序設計，OCaml中的面向對象程序設計概念和技術。
陳鋼，航天科工集團三院304所國家千人計劃專家，中國電腦學會會員。本科畢業於浙江大學數學，碩士畢業於北京大學電腦系，並在法國巴黎第七大學獲得電腦博士學位。在OCaml語言和COQ定理證明器發源地受過專業訓練，是國內初次開展COQ定理證明工作及其在集成電路中的應用的學者，曾在上海交大、南澳大學、波士頓大學、摩托羅拉公司工作。2013年加入航天科工集團三院304所，從事基於定理證明的AES加密演算法驗證與FPGA實現研究、缺陷分析軟體評估研究和形式化飛行控制數學研究。2017年組織了電腦學會「形式化工程數學」研討會。
張靜，東北大學電腦專業本科畢業。在北京京航計算通訊研究所工作期間，跟隨陳鋼老師學習OCaml和COQ，並從事程序缺陷分析軟體的評估工作。目前在中石油新疆油田從事信息系統管理工作。
|
|
| |
|
|
| |
|
|
| |
|
|
| |
購買中國簡體書籍請注意：
1. 因裝幀品質及貨運條件未臻完善，中國簡體書可能有出現磨痕、凹痕、折痕等問題，故簡體字館除封面破損、內頁脫落、缺頁等較嚴重的狀態外，其餘所有商品將正常出貨。
|
|
| |
|
|
|
