标题: [其他] 请问有这学期选Introduction to Model Checking的前辈么 [打印本页]

---

作者: lixin    时间: 2007-7-8 21:21     标题: 请问有这学期选Introduction to Model Checking的前辈么

如题,急事

---

欢迎光临 人在德国 社区 (http://rs238848.rs.hosteurope.de/bbs/)

Powered by Discuz! 7.2