| 查看: 758 | 回复: 1 | ||
[求助]
请各位解释下这些专业名词，以及主要的应用。program verification等
|
|
program verification， formal logic，type systems， Types and Programming Languages Model Checking 如果掌握这些，需要学习哪些知识呢？ 谢谢大家！！ |
回复此楼» 猜你喜欢
医学类期刊求推荐
已经有5人回复
-
生活琐事由它去
已经有4人回复
-
提交了我也来说说感想
已经有12人回复
-
青B发送上会通知了吗
已经有9人回复
-
西安交大新媒学院副院长用撤稿论文结题
已经有6人回复
-
论文撤稿了
已经有8人回复
-
化学专业申博
已经有4人回复
-
某211大学教师把个人教师官方主页改成:我跑了我跑了我跑了!官宣跑路！
已经有5人回复
-
26/27申博自荐
已经有9人回复
-
博士申请
已经有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
- 金币: 140763
- 散金: 60553
- 红花: 888
- 沙发: 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