coalgebraic
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction
ISBN:9783540436133在线阅读本书 Program construction is about turning specifications of computer software into ...
程序 构造 数学 中的 代数 与 余 代数 方法 Algebraic and coalgebraic methods in the mathematics of program construction