书籍 Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop的封面

Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop

出版社

Springer-Verlag

出版时间

2005

ISBN

3540281959

标注页数

287 页

PDF页数

301 页

书籍介绍
在线购买PDF电子书