OCaml语言编程基础教程 2024 pdf epub mobi 电子书


OCaml语言编程基础教程

简体网页||繁体网页

OCaml语言编程基础教程 2024 pdf epub mobi 电子书 著者简介

陈钢

中国计算机学会会员。本科毕业于浙江大学数学,硕士毕业于北京大学计算机系,并在法国巴黎第七大学获得计算机博士学位。在OCaml语言和COQ定理证明器发源地受过专业训练,是国内初次开展COQ定理证明工作及其在集成电路中的应用的 学者,曾在上海交大、南澳大学、波士顿大学、摩托罗拉公司工作。2013年加入航天科工集团三院304所,从事基于定理证明的AES加密算法验证与FPGA实现研究、缺陷分析软件评估研究和形式化飞行控制数学研究。2017年组织了计算机学会“形式化工程数学”研讨会。

张静

东北大学计算机专业本科毕业。在北京京航计算通讯研究所工作期间,跟随陈钢老师学习OCaml和COQ,并从事程序缺陷分析软件的评估工作。目前在中石油新疆油田从事信息系统管理工作。


OCaml语言编程基础教程 电子书 图书目录




点击这里下载
    


想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-25

OCaml语言编程基础教程 2024 pdf epub mobi 电子书

OCaml语言编程基础教程 2024 pdf epub mobi 电子书

OCaml语言编程基础教程 2024 pdf epub mobi 电子书



喜欢 OCaml语言编程基础教程 电子书 的读者还喜欢


OCaml语言编程基础教程 电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价
出版者:人民邮电出版社
作者:陈钢
出品人:
页数:314
译者:
出版时间:2018-6-1
价格:79
装帧:平装
isbn号码:9787115471215
丛书系列:

图书标签: Programming  OCaml  FP   


OCaml语言编程基础教程 2024 pdf epub mobi 电子书 图书描述

OCaml语言是一种函数式程序设计语言。

本书重点介绍函数式编程的基础知识以及OCaml程序设计的技巧,同时兼顾应用软件开发的需求。全书共8章,前5章讲解OCaml语言的函数式控制结构、数据结构、模块化程序设计、命令式程序设计和图形程序设计;第6章介绍如何把OCaml移植到F#,第7章介绍通过C#开发的用户界面调用OCaml或F#程序,第8章介绍面向对象程序设计。

本书适合想要学习OCaml程序语言或者想要学习函数式编程的读者阅读参考。

OCaml语言编程基础教程 2024 pdf epub mobi 电子书

OCaml语言编程基础教程 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

OCaml语言编程基础教程 2024 pdf epub mobi 用户评价

评分

算是难得的关于 OCaml 的中文好书了,通俗易懂童叟无欺,虽然有些地方讲的很浅以及后面关于 F# 的篇幅对我来说有点多余(几个月前读的,豆瓣终于有条目了

评分

算是难得的关于 OCaml 的中文好书了,通俗易懂童叟无欺,虽然有些地方讲的很浅以及后面关于 F# 的篇幅对我来说有点多余(几个月前读的,豆瓣终于有条目了

评分

最开始是在 caml-list 邮件列表看到陈钢老师的毛遂自荐,看了下决定买来支持一下。在地铁上大致读完了一遍,对于缺少资料的 OCaml 中文领域,这本书是不错的开始。准备再桦一个月的时间细细读一遍。

评分

最开始是在 caml-list 邮件列表看到陈钢老师的毛遂自荐,看了下决定买来支持一下。在地铁上大致读完了一遍,对于缺少资料的 OCaml 中文领域,这本书是不错的开始。准备再桦一个月的时间细细读一遍。

评分

算是难得的关于 OCaml 的中文好书了,通俗易懂童叟无欺,虽然有些地方讲的很浅以及后面关于 F# 的篇幅对我来说有点多余(几个月前读的,豆瓣终于有条目了

OCaml语言编程基础教程 2024 pdf epub mobi 电子书


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有