当前位置：首页 > 外文

Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop

Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop

Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN WorkshopPDF电子书下载

电子书积分：12 积分如何计算积分？
作者：
出版社：Springer-Verlag
出版年份：2006
ISBN：3540331026
页数：305 页

图书介绍：

查看图书目录点击购买PDF全本电子书

上一篇：LECTURE NOTES IN MATHEMATICS 1117: ECOLE D'ETE DE PROBABILITES DE SAINT-FLOUR XIII - 1983下一篇：LECTURE NOTES IN MATHEMATICS 1382: METAPLECTIC GROUPS AND SEGAL ALGEBRAS

《Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop》目录

标签：

相关图书

作者其它书籍

出版社其它书籍

本类热门