Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN WorkshopPDF电子书下载
- 电子书积分：11 积分如何计算积分？
- 作 者：
- 出 版 社：Springer-Verlag
- 出版年份：2005
- ISBN：3540281959
- 页数：287 页
图书介绍：
上一篇：A NEW START下一篇：THE EARTH SYSTEM
《Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop》目录
标签：
相关图书
作者其它书籍