你即將離開本站

並前往https://e.jd.com/30417662.html

《OCaml语言编程基础教程》(陈钢，张静)电子书下载、在线阅读

本书重点介绍函数式编程的基础知识以及OCaml程序设计的技巧，同时兼顾应用软件 ... Coq的主要用途在于两方面，一方面是用于形式化数学（Formalized Mathematics）的 ...

確定！ 回上一頁

查詢 「ocaml用途」的人也找了：

  1. OCaml 用途
    2.
  2. ocaml教程
    3.
  3. OCaml tutorial
    4.
  4. Ocaml first hour
    5.
  5. OCaml 教學
    6.
  6. CAML
    7.