书籍 Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation的封面

Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th InternationPDF电子书下载

FORMATS 2006

购买点数

13

出版社

Springer-Verlag Berlin Heidelberg

出版时间

2006

ISBN

3540450262

标注页数

369 页

PDF页数

109 页

标签

相关书籍
在线购买PDF电子书
下载此书RAR压缩包