程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
简体网页||繁体网页
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction 在线电子书 图书标签: 数学 计算机科学 余代数 Formalism CS
喜欢 程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction 在线电子书 的读者还喜欢
点击这里下载
发表于2024-10-05
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction 在线电子书 用户评价
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction 在线电子书 著者简介
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction 在线电子书 图书目录
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction 在线电子书 图书描述
在线阅读本书
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory.
This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra.
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction 在线电子书 读后感
评分
评分
评分
评分
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
分享链接
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction pdf 电子书 下载链接
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction 在线电子书 相关图书
-
程序构造的数学 Mathematics of program construction 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载 -
数据库与专家系统及应用 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Health Care for the Poor in Latin America and the Caribbean 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
On Account of Sex 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Greek Art from Prehistoric to Classical 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Small Wars 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Barriers to Information 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
The Secret Knowledge of the Neophyte 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
The Weekend Weight-Loss Plan 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Busting Vegas 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Where Have All the Leaders Gone? 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Free World 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
501 Grammar & Writing Questions 2nd Edition 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
The Arts of Korea 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Challenging Behavior in Elementary and Middle School 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
伯明翰来了HERE COMES BRUM 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Rupert and the Baby Bird 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Tales from the Odyssey 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
SPOT AT HOME 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
What's That Noise? 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
