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

程序正确性证明

算法
# formal verification# Dafny# program correctness# Hoare logic# Floyd logic# deductive verification# software engineering
作者
К. Рустан М. Лейно
出版社
ДМК Пресс
年份
2024
语言
俄语
40
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

编程与数据结构入门

编程与数据结构入门

Кати Фислер, Шрирам Кришнамурти, Бенджамин С. Лернер, Джо Гиббс Политц

Python. 权威指南

Python. 权威指南

Дэвид Бизли

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

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

Марко Фаэлла

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

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

Маттиас Фелляйзен, Роберт Брюс Финдлер, Мэтью Флэтт, Шрирам Кришнамурти

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

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

Дэвид Мерц, Л. Клаймен

C编程语言

C编程语言

Брайан Керниган, Деннис Ритчи

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

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

Алексей Сошин

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

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

В. Д. Валединский, А. А. Корнев

Python. 完整指南

Python. 完整指南

Кольцов Д. М.

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

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

Стивен Халим, Феликс Халим

THELIB

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

目录

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

账户

  • 注册
  • 登录
  • 支持

信息

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