THELIB
分类规则 规则 登录
  • 图书
  • 标签:formal methods

书籍 — formal methods

EN
软件测试:概念与操作

软件测试:概念与操作

A

Ali Mili, Fairouz Tchier

软件开发
EN
Frama-C软件验证指南:核心组件、用法与应用

Frama-C软件验证指南:核心组件、用法与应用

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

编程语言
RU
计算机系统安全模型:教学指南

计算机系统安全模型:教学指南

A

Н. А. Богульская, М. М. Кучеров

算法与理论
RU
并行进程建模。Petri网

并行进程建模。Petri网

A

Мараховский В. Б., Розенблюм Л. Я., Яковлев А. В.

算法与理论
RU
编程入门

编程入门

A

Александр Степанов, Пол Мак-Джоунс

算法与理论
EN
逻辑与计算机科学语言模型

逻辑与计算机科学语言模型

A

Dana Richards, Henry Hamburger

算法与理论
THELIB

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

目录

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

账户

  • 注册
  • 登录
  • 支持

信息

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