| 查看: 791 | 回复: 1 | ||
[求助]
请各位解释下这些专业名词，以及主要的应用。program verification等
|
|
program verification， formal logic，type systems， Types and Programming Languages Model Checking 如果掌握这些，需要学习哪些知识呢？ 谢谢大家！！ |
回复此楼» 猜你喜欢
【长期招聘】复旦大学 AI 制药实验室 博士后招聘
已经有12人回复
-
2027博士申请-临床检验诊断学、病原生物学、微生物方向
已经有5人回复
-
各位基础老师们，看完中央《从严治党》的决定后，对学术界更加有信心了吧
已经有4人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 谢谢，什么叫ICP MS、LC MS、GC MS的记忆效应，求解释！
已经有7人回复
- 教授回复求解释
已经有6人回复
- 求助大家帮忙解释一下，LSV中测试时工作电极膜脱落的原因
已经有5人回复
- 谢谢各位前辈-分析求助
已经有4人回复
- 请各位给点建议
已经有43人回复
- 循环伏安和EIS图谱解释
已经有9人回复
- 求各路纳米高手解释纳米粒径与ＰＶＰ之间的关系
已经有19人回复
- PLGA微球 用PVA和吐温80乳化所得粒径不同该怎么解释呢？
已经有7人回复
- 求助：求有关分子筛的一个名词解释
已经有6人回复
tyhjqxbz
主管区长 (文坛精英)
- 程序强帖: 1
- 应助: 220 (大学生)
- 贵宾: 31.322
- 金币: 140778
- 散金: 60667
- 红花: 891
- 沙发: 1020
- 帖子: 32994
- 在线: 3594.4小时
- 虫号: 782124
- 注册: 2009-05-29
- 专业: 能源化工
- 管辖: 注册执考区
【答案】应助回帖
★
jjdg(金币+1): 感谢参与 2011-12-08 00:21:04
jjdg(金币+1): 感谢参与 2011-12-08 00:21:04
|
程序验证，形式逻辑，类型系统 类型和编程语言 模型检测 http://wenku.baidu.com/view/e2a1710d844769eae009ed71.html |
2楼2011-12-07 22:23:01