书籍 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 Internati

FORMATS 2003

出版社

Springer-Verlag Berlin Heidelberg

出版时间

2004

ISBN

3540216715

标注页数

281 页

PDF页数

93 页

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