THELIB
目录
搜索
分类规则
规则
登录
中文
中文
图书
标签：software verification
书籍 — software verification
全部
RU
EN
EN
Ada语言入门
A
Raphaël Amiard, Gustavo A. Hoffmann
编程语言
RU
Ada编程语言入门
A
Raphaël Amiard, Gustavo A. Hoffmann
编程语言
EN
逻辑与计算机科学语言模型
A
Dana Richards, Henry Hamburger
算法与理论
