Model Checking and Artificial Intelligence: 4th

2014-02-01 分类：未分类

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers .. / Lecture Notes in Artificial Intelligence)

Hardcover: 185 pages

Publisher: Springer (August 9, 2007)

Language: English

ISBN-10: 3540741275

电子书代发PDF格式价格10元我要求助

未经允许不得转载：Wow! eBook » Model Checking and Artificial Intelligence: 4th

相关推荐