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

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

TACAS 2004

出版社

Spinger-Verlag

出版时间

2004

ISBN

354021299X

标注页数

608 页

PDF页数

624 页

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