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

书籍 — formal methods

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实时翻译