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

书籍 — verification

RU
元计算方法及其应用

元计算方法及其应用

A

С. М. Абрамов

算法与理论
RU
软件测试与验证基础

软件测试与验证基础

B

С. М. Старолетов

软件开发
RU
并行进程建模。Petri网

并行进程建模。Petri网

A

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

算法与理论
EN
HASKELL算法设计

HASKELL算法设计

A

Richard Bird, Jeremy Gibbons

编程语言
THELIB

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

目录

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

账户

  • 注册
  • 登录
  • 支持

信息

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