登入帳戶  | 訂單查詢  | 購物車/收銀台( 0 ) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書

『簡體書』OCaml语言编程基础教程

書城自編碼: 3187878
分類:簡體書→大陸圖書→計算機/網絡程序設計
作者: 陈钢 张静
國際書號(ISBN): 9787115471215
出版社: 人民邮电出版社
出版日期: 2018-06-01
版次: 1
頁數/字數: 314/460
書度/開本: 16开 釘裝: 平装

售價:HK$ 112.2

我要買

 

** 我創建的書架 **
未登入.


新書推薦:
AIGC+机器人:以产业的视角读懂人工智能的未来
《 AIGC+机器人:以产业的视角读懂人工智能的未来 》

售價:HK$ 106.8
示人以真:健康组织这样开展业务
《 示人以真:健康组织这样开展业务 》

售價:HK$ 82.8
格林童话:1812/1815初版合集(权威全译本)
《 格林童话:1812/1815初版合集(权威全译本) 》

售價:HK$ 117.6
思想会·军力:现代战争的胜败解释
《 思想会·军力:现代战争的胜败解释 》

售價:HK$ 117.6
边界之外:海外社会研究(第一辑)
《 边界之外:海外社会研究(第一辑) 》

售價:HK$ 82.8
好销售,不违心:在你的舒适区内拿订单
《 好销售,不违心:在你的舒适区内拿订单 》

售價:HK$ 70.8
阿富汗史:骑驰在风暴中的国度
《 阿富汗史:骑驰在风暴中的国度 》

售價:HK$ 117.6
背影2
《 背影2 》

售價:HK$ 82.8

 

建議一齊購買:

+

HK$ 112.2
《 Python应用开发实战 》
+

HK$ 112.2
《 图解数据结构--使用Python 》
+

HK$ 126.4
《 现代编译原理 C语言描述 修订版 》
+

HK$ 69.6
《 HTTP/2基础教程 》
+

HK$ 100.1
《 函数式算法设计珠玑 》
+

HK$ 103.5
《 Haskell函数式程序设计 》
編輯推薦:
当前,函数式语言和函数式编程掀起了一股新的热潮,人们用函数式语言开发出越来越多的应用和系统。OCaml就是一种函数式程序设计语言。
本书是学习OCaml语言的入门读物,重点讲解函数式编程的基础知识以及OCaml语言编程技巧,同时兼顾应用软件开发的需求。本书注意将OCaml编程方式同其他语言的编程方式进行比较,便于熟悉其他语言的程序员理解OCaml的特点。书中给出了很多示例代码,并且在每章末尾给出了一些练习题,以帮助读者掌握所学的知识。附录部分给出了部分练习题的解答。
本书适合想要了解函数式语言原理和学习OCaml程序设计的读者阅读参考。
本书包括以下内容:
★ 函数式控制结构及OCaml语言基础;
★ 函数式数据结构;
★ 模块化程序设计;
★ 命令式程序设计;
★ 模块化图形程序设计;
★ 移植OCaml图形程序到F#;
★ 多语言联合程序设计;
★ 面向对象程序设计。
本书深入浅出,循序渐进,非常适合初学者从零起步阅读和学习。另一方面,书中不仅讨论了大量语言特征的情况和编程技术问题,也介绍了一些背景和相关理论问题,以帮助读者更清晰地理解函数式编程的思想、技术和方法。本书的出版将大大
內容簡介:
OCaml语言是一种函数式程序设计语言。
本书重点介绍函数式编程的基础知识以及OCaml程序设计的技巧,同时兼顾应用软件开发的需求。全书共8章,前5章讲解OCaml语言的函数式控制结构、数据结构、模块化程序设计、命令式程序设计和图形程序设计;第6章介绍如何把OCaml移植到F#,第7章介绍通过C#开发的用户界面调用OCaml或F#程序,第8章介绍面向对象程序设计。
本书适合想要学习OCaml程序语言或者想要学习函数式编程的读者阅读参考。
關於作者:
陈钢
航天科工集团三院304所国家千人计划专家,中国计算机学会会员。本科毕业于浙江大学数学,硕士毕业于北京大学计算机系,并在法国巴黎第七大学获得计算机博士学位。在OCaml语言和COQ定理证明器发源地受过专业训练,是国内初次开展COQ定理证明工作及其在集成电路中的应用的学者,曾在上海交大、南澳大学、波士顿大学、摩托罗拉公司工作。2013年加入航天科工集团三院304所,从事基于定理证明的AES加密算法验证与FPGA实现研究、缺陷分析软件评估研究和形式化飞行控制数学研究。2017年组织了计算机学会形式化工程数学研讨会。
张静 东北大学计算机专业本科毕业。在北京京航计算通讯研究所工作期间,跟随陈钢老师学习OCaml和COQ,并从事程序缺陷分析软件的评估工作。目前在中石油新疆油田从事信息系统管理工作。

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 大陸用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2024 (香港)大書城有限公司  All Rights Reserved.