| 查看: 731 | 回复: 1 | ||
[求助]
请各位解释下这些专业名词，以及主要的应用。program verification等
|
|
program verification， formal logic，type systems， Types and Programming Languages Model Checking 如果掌握这些，需要学习哪些知识呢？ 谢谢大家！！ |
回复此楼» 猜你喜欢
材料调剂
已经有7人回复
-
化学工程085602 305分求调剂
已经有10人回复
-
289求调剂
已经有15人回复
-
291 求调剂
已经有7人回复
-
274求调剂
已经有14人回复
-
北京林业大学硕导招生广告
已经有3人回复
-
309求调剂
已经有5人回复
-
292求调剂
已经有8人回复
-
求调剂
已经有4人回复
-
一志愿 西北大学 总分282 英语一62 求调剂
已经有3人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 谢谢，什么叫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
- 金币: 140756
- 散金: 60553
- 红花: 886
- 沙发: 1020
- 帖子: 32994
- 在线: 3441.8小时
- 虫号: 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
