ML程序设计教程 (英)保罗森(Paulson,L.C.) 著,柯韦 译 机械工业出版社【正版】 正版图书,下单前请先咨询客服,欢迎选购!
¥82.46定价:¥174.92 (4.72折)
ML程序设计教程【正版书籍】 【热销推荐,正版现货,全国三仓就近发货,物流快捷,欢迎选购!】
本书是关于ML程序设计的经典教材,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(http://www.cl.cam.ac.uk/users/lcp/)得到。
¥62.97
本书是关于ML程序设计的经典教材,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(http://www.cl.cam.ac.uk/users/lcp/)得到。
¥79.54定价:¥260.37 (3.06折)
ML程序设计教程【达额立减】 「本店部分图书为稀缺古旧书籍,您下单之前可与在线客服联系」
本书是关于ML程序设计的经典,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(.cl.cam.ac.uk/users/lcp/)得到。
¥68.00定价:¥151.00 (4.51折)
ML程序设计教程 (英)保罗森(Paulson,L.C.) 著,柯韦 译 机械工业出版社【正版】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
本书是关于ML程序设计的经典教材,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(.cl.cam.ac.uk/users/lcp/)得到。
¥57.00定价:¥131.37 (4.34折)
ML程序设计教程【正版图书,满额减】 【速开发票,优质售后,支持7天无理由退换】
本书是关于ML程序设计的经典,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(http://www.cl.cam.ac.uk/users/lcp/)得到。
¥138.60定价:¥408.40 (3.4折)
¥76.99定价:¥156.00 (4.94折)
本书是关于ML程序设计的经典,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(.cl.cam.ac.uk/users/lcp/)得到。
¥72.19定价:¥157.40 (4.59折)
ML程序设计教程 (英)保罗森(Paulson,L.C.) 著,柯韦 译 机械工业出版社【正版】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
本书是关于ML程序设计的经典教材,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(.cl.cam.ac.uk/users/lcp/)得到。
¥57.00定价:¥149.37 (3.82折)
ML程序设计教程【正版图书,满额减】 【速开发票,优质售后,支持7天无理由退换】
本书是关于ML程序设计的经典,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(http://www.cl.cam.ac.uk/users/lcp/)得到。
¥138.00定价:¥407.10 (3.39折)
ML程序设计教程 (英)保罗森(Paulson,L.C.) 著,柯韦 译 机械工业出版社【正版书】 正版图书,下单前请先咨询客服,欢迎选购!
¥132.50定价:¥353.00 (3.76折)
本书是关于ML程序设计的经典教材,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(http://www.cl.cam.ac.uk/users/lcp/)得到。
¥120.99定价:¥243.00 (4.98折)
¥78.16定价:¥184.32 (4.25折)
ML程序设计教程 (英)保罗森(Paulson,L.C.) 著,柯韦 译 机械工业出版社【正版】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
本书是关于ML程序设计的经典教材,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(.cl.cam.ac.uk/users/lcp/)得到。
¥57.00定价:¥149.37 (3.82折)
ML程序设计教程 (英)保罗森(Paulson,LC) 著,柯韦 译【正版保证】. 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
本书是关于ML程序设计的经典教材,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(.cl.cam.ac.uk/users/lcp/)得到。
¥54.90定价:¥241.92 (2.27折)
本书是关于ML程序设计的经典,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(.cl.cam.ac.uk/users/lcp/)得到。
¥137.79定价:¥290.60 (4.75折)
ML程序设计教程【放心购买】 [正版书籍,达额减,现货速发,可开电子发票]
¥130.00定价:¥301.00 (4.32折)
正版!ML程序设计教程 9787111161219 机械工业出版社【可开发票】 正版图书下单即可
本书是关于ML程序设计的经典教材,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(.cl.cam.ac.uk/users/lcp/)得到。
¥92.00定价:¥184.00 (5折)
ML程序设计教程 (英)保罗森(Paulson,LC) 著,柯韦 译【正版】. 全国三仓发货,物流便捷,正版书放心购买!
本书是关于ML程序设计的经典教材,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(.cl.cam.ac.uk/users/lcp/)得到。
¥57.10定价:¥178.80 (3.2折)
ML程序设计教程 (英)保罗森(Paulson,L.C.) 著,柯韦 译 机械工业出版社【正版可开发票】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
本书是关于ML程序设计的经典教材,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(.cl.cam.ac.uk/users/lcp/)得到。
¥57.00定价:¥165.37 (3.45折)
ML程序设计教程【达额立减】 [正版书籍,达额减,现货速发,可开电子发票]
本书是关于ML程序设计的经典,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(http://www.cl.cam.ac.uk/users/lcp/)得到。
¥74.48定价:¥186.00 (4.01折)
ML程序设计教程 (英)保罗森(Paulson,L.C.) 著,柯韦 译 机械工业出版社【正版现货】 正版图书,本店套装图书默认为单本,您下单前可咨询在线客服,谢谢!
本书是关于ML程序设计的经典教材,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(.cl.cam.ac.uk/users/lcp/)得到。
¥59.30定价:¥120.78 (4.91折)
本书是关于ML程序设计的经典教材,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(http://www.cl.cam.ac.uk/users/lcp/)得到。
¥22.50定价:¥45.00 (5折)
ML程序设计教程 (英)保罗森(Paulson,L.C.) 著,柯韦 译 机械工业出版社【正版保证】
本书是关于ML程序设计的经典教材,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。 书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(.cl.cam.ac.uk/users/lcp/)得到。
¥70.83定价:¥233.94 (3.03折)