书籍 Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys的封面

Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys

TACAS 2007

出版社

Springer-Verlag

出版时间

2007

ISBN

9783540712084

标注页数

738 页

PDF页数

759 页

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