书籍 Lecture Notes in Computer Science 4349 Verification的封面

Lecture Notes in Computer Science 4349 Verification

Model Checking

出版社

January 1416

出版时间

2007

ISBN

标注页数

0 页

PDF页数

407 页

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