OCaml語言編程基礎教程 2024 pdf epub mobi 電子書 下載


OCaml語言編程基礎教程

簡體網頁||繁體網頁

OCaml語言編程基礎教程 pdf epub mobi 著者簡介

陳鋼

中國計算機學會會員。本科畢業於浙江大學數學,碩士畢業於北京大學計算機係,並在法國巴黎第七大學獲得計算機博士學位。在OCaml語言和COQ定理證明器發源地受過專業訓練,是國內初次開展COQ定理證明工作及其在集成電路中的應用的 學者,曾在上海交大、南澳大學、波士頓大學、摩托羅拉公司工作。2013年加入航天科工集團三院304所,從事基於定理證明的AES加密算法驗證與FPGA實現研究、缺陷分析軟件評估研究和形式化飛行控製數學研究。2017年組織瞭計算機學會“形式化工程數學”研討會。

張靜

東北大學計算機專業本科畢業。在北京京航計算通訊研究所工作期間,跟隨陳鋼老師學習OCaml和COQ,並從事程序缺陷分析軟件的評估工作。目前在中石油新疆油田從事信息係統管理工作。


OCaml語言編程基礎教程 pdf epub mobi 圖書描述

OCaml語言是一種函數式程序設計語言。

本書重點介紹函數式編程的基礎知識以及OCaml程序設計的技巧,同時兼顧應用軟件開發的需求。全書共8章,前5章講解OCaml語言的函數式控製結構、數據結構、模塊化程序設計、命令式程序設計和圖形程序設計;第6章介紹如何把OCaml移植到F#,第7章介紹通過C#開發的用戶界麵調用OCaml或F#程序,第8章介紹麵嚮對象程序設計。

本書適閤想要學習OCaml程序語言或者想要學習函數式編程的讀者閱讀參考。

OCaml語言編程基礎教程 2024 pdf epub mobi 電子書 下載

OCaml語言編程基礎教程 pdf epub mobi 圖書目錄




點擊這裡下載
    


想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-12-25

OCaml語言編程基礎教程 2024 pdf epub mobi 電子書 下載

OCaml語言編程基礎教程 2024 pdf epub mobi 電子書 下載

OCaml語言編程基礎教程 2024 pdf epub mobi 電子書 下載



喜欢 OCaml語言編程基礎教程 電子書 的读者还喜欢


OCaml語言編程基礎教程 pdf epub mobi 讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價
出版者:人民郵電齣版社
作者:陳鋼
出品人:
頁數:314
譯者:
出版時間:2018-6-1
價格:79
裝幀:平裝
isbn號碼:9787115471215
叢書系列:

圖書標籤: Programming  OCaml  FP   


OCaml語言編程基礎教程 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

OCaml語言編程基礎教程 pdf epub mobi 用戶評價

評分

算是難得的關於 OCaml 的中文好書瞭,通俗易懂童叟無欺,雖然有些地方講的很淺以及後麵關於 F# 的篇幅對我來說有點多餘(幾個月前讀的,豆瓣終於有條目瞭

評分

最開始是在 caml-list 郵件列錶看到陳鋼老師的毛遂自薦,看瞭下決定買來支持一下。在地鐵上大緻讀完瞭一遍,對於缺少資料的 OCaml 中文領域,這本書是不錯的開始。準備再樺一個月的時間細細讀一遍。

評分

算是難得的關於 OCaml 的中文好書瞭,通俗易懂童叟無欺,雖然有些地方講的很淺以及後麵關於 F# 的篇幅對我來說有點多餘(幾個月前讀的,豆瓣終於有條目瞭

評分

最開始是在 caml-list 郵件列錶看到陳鋼老師的毛遂自薦,看瞭下決定買來支持一下。在地鐵上大緻讀完瞭一遍,對於缺少資料的 OCaml 中文領域,這本書是不錯的開始。準備再樺一個月的時間細細讀一遍。

評分

最開始是在 caml-list 郵件列錶看到陳鋼老師的毛遂自薦,看瞭下決定買來支持一下。在地鐵上大緻讀完瞭一遍,對於缺少資料的 OCaml 中文領域,這本書是不錯的開始。準備再樺一個月的時間細細讀一遍。

OCaml語言編程基礎教程 2024 pdf epub mobi 電子書 下載


分享鏈接





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有