THELIB
分类规则 规则 登录
  • 图书
  • 算法与理论
  • 算法
  • 程序正确性证明
程序正确性证明
A

程序正确性证明

算法
# formal verification# Dafny# program correctness# Hoare logic# Floyd logic# deductive verification# software engineering
作者
K. 鲁斯坦 M. 莱诺
出版社
DMK Press
年份
2024
语言
俄语
188
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

编程与数据结构入门

编程与数据结构入门

凯蒂·菲斯勒、斯里拉姆·克里希纳穆尔蒂、本杰明·S·勒纳、乔·吉布斯·波利茨

Python. 权威指南

Python. 权威指南

大卫·比斯利

优雅的Java。始终随处运行的代码

优雅的Java。始终随处运行的代码

马尔科·法埃拉

如何设计程序。编程与计算机计算导论

如何设计程序。编程与计算机计算导论

马蒂亚斯·费尔莱森,罗伯特·布鲁斯·芬德勒,马修·弗拉特,斯里拉姆·克里希纳穆尔蒂

Python函数式编程:Stack Overflow社区实例开发指南

Python函数式编程:Stack Overflow社区实例开发指南

戴维·默茨,L. 克莱曼

C编程语言

C编程语言

Brayan Kernigan, Dennis Ritchi

Kotlin. 设计模式与最佳实践(第3版)

Kotlin. 设计模式与最佳实践(第3版)

阿列克谢·索申

C/C++ 编程方法与实例解析

C/C++ 编程方法与实例解析

V. D. 瓦列金斯基, A. A. 科尔涅夫

Python. 完整指南

Python. 完整指南

科尔佐夫 D. M.

体育编程。编程竞赛的新下限

体育编程。编程竞赛的新下限

斯蒂芬·哈利姆,费利克斯·哈利姆

THELIB

支持 8 种语言翻译的 IT 书籍库。

目录

  • 图书
  • 分类
  • 规则
  • 协议

账户

  • 注册
  • 登录
  • 支持

信息

  • thelib.cc
  • v0.1
© 2026 THELIB 8种语言 · AI实时翻译