形式化方法
关于 形式化方法 书籍列表
-
近世计算理论导引
阅读量：5
ISBN：9787030126177
发布时间：2025-05-04 11:32:40 -
计算机程序的构造和解释（原书第2版）
阅读量：4
ISBN：9787111630548
发布时间：2025-05-08 08:48:43 -
程序正确性证明方法
阅读量：4
ISBN：9787564231699
发布时间：2025-05-09 09:34:06 -
网络安全协议的形式化分析与验证
阅读量：2
ISBN：9787111297260
发布时间：2025-05-11 21:15:49 -
数理逻辑与机器证明
阅读量：3
ISBN：9787030019196
发布时间：2025-05-12 00:31:35 -
软件工程形式化方法与语言
阅读量：2
ISBN：9787308066679
发布时间：2025-05-12 03:39:25 -
交互式定理证明与程序开发
阅读量：1
ISBN：9787302208136
发布时间：2025-05-12 19:44:33 -
模型论及其在计算机科学中的应用
阅读量：1
ISBN：9787303136025
发布时间：2025-05-15 01:46:11