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

Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop

出版社

Springer-Verlag

出版时间

2004

ISBN

3540213147

标注页数

307 页

PDF页数

321 页

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