程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction
Roland Backhouse
1 edition (2002年5月1日)
出版时间：2002-12
出版社：1 edition (2002年5月1日)
作者：Roland Backhouse
页数：385
Tag标签：无
图书封面
图书标签Tags
无
下载链接
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program constructionPDF格式下载