格雷格·尼尔森 (Greg Nelson) 对 Dijkstra 微积分的推广 电子书下载

原名:A Generalization of Dijkstra\’s Calculus by Greg Nelson
作品简介:分布式计算、通信、数据库、编程……Dijkstra 的受保护的命令，但没有排除奇迹法则；喜欢。……