| 名称 | Constraint-Based Verification [electronic resource] | |
| 索引号 | ||
| 分类号 | (| 08 环境公报) |
|
| 作者 | Yuan、 Jun.、Pixley、 Carl.、Aziz、 Adnan.、SpringerLink (Online service)、 | |
| 出版社 | Boston, MA : Springer US, 2006. | |
| ISBN | ||
| 页数 | XII, 253 p. digital. | |
| 价格 | doi | |
| 标签 | ||
| 简介 | ||
| 注解 | ||
 |
|
|
搜索选项：
|
© Copyright 大拱桥--暨南大学学生门户 • Atom Feed • 粤ICP备17135490号
Last Updated On 20150305 By Carbon Forum (联系我)
Processed in 3.772 ms, 6 queries, Memory usage: 2048 KBytes
粤公网安备 44030602003680号