| 查看: 710 | 回复: 1 | ||
[求助]
请各位解释下这些专业名词，以及主要的应用。program verification等
|
|
program verification， formal logic，type systems， Types and Programming Languages Model Checking 如果掌握这些，需要学习哪些知识呢？ 谢谢大家！！ |
回复此楼» 猜你喜欢
拟解决的关键科学问题还要不要写
已经有9人回复
-
最失望的一年
已经有17人回复
-
为什么nbs上溴 没有产物点出现呢
已经有6人回复
-
求推荐博导
已经有4人回复
-
存款400万可以在学校里躺平吗
已经有34人回复
-
求助一下有机合成大神
已经有4人回复
-
求推荐英文EI期刊
已经有5人回复
-
26申博
已经有3人回复
-
基金委咋了？2026年的指南还没有出来？
已经有10人回复
-
疑惑？
已经有5人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 谢谢，什么叫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
- 金币: 140749
- 散金: 60553
- 红花: 884
- 沙发: 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