书籍 Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati的封面

Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First InternatiPDF电子书下载

FORMATS 2003

购买点数

11

出版社

Springer-Verlag Berlin Heidelberg

出版时间

2004

ISBN

3540216715

标注页数

281 页

PDF页数

93 页

标签

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