《OCaml语言编程基础教程》 - 陈钢张静 - 人民邮电出版社 - 香港大書城 - Meg Book Store

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

會員書架精選

2024年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

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

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

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

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

售價：HK$ 112.2

我要買件

share:

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

新書推薦：

小津安二郎大全

《小津安二郎大全》
售價：HK$ 151.8

帛书老子校注析

《帛书老子校注析》
售價：HK$ 107.8

国家、社会与大学：1700—1914的德国

《国家、社会与大学：1700—1914的德国》
售價：HK$ 94.6

经纬度·何以中国·反思与重构：中国政治思想史论精选

《经纬度·何以中国·反思与重构：中国政治思想史论精选》
售價：HK$ 96.8

有情：2024年中国女性散文选收录杨本芬、塞壬、黎戈、沈书枝、苏枕书、殳俏等20位备受瞩目的女作家散文力作，用“女性的看见”生成“新的语法”。

《有情：2024年中国女性散文选收录杨本芬、塞壬、黎戈、沈书枝、苏枕书、殳俏等20位备受瞩目的女作家散文力作，用“女性的看见”生成“新的语法”。》
售價：HK$ 65.8

《本草纲目》里的博物学（全6册）（给孩子的309堂本草博物课，全景展现“东方博物大百科，6大卷本草，41大体系分类，350余幅手绘图谱）

《《本草纲目》里的博物学（全6册）（给孩子的309堂本草博物课，全景展现“东方博物大百科，6大卷本草，41大体系分类，350余幅手绘图谱）》
售價：HK$ 217.8

95%的不舒服，呼吸能解决

《 95%的不舒服，呼吸能解决》
售價：HK$ 98.9

新加坡史：从夹缝求生到奇迹崛起

《新加坡史：从夹缝求生到奇迹崛起》
售價：HK$ 140.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 - 2025 （香港）大書城有限公司　 All Rights Reserved.