Model Checking and Artificial Intelligence: 5th

Model Checking and Artificial Intelligence: 5th Inteational Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited .. / Lecture Notes in Artificial Intelligence)

Hardcover: 189 pages

Publisher: Springer (February 27, 2009)

Language: English

ISBN-10: 364200430X

电子书代发PDF格式价格10我要求助
未经允许不得转载:Wow! eBook » Model Checking and Artificial Intelligence: 5th