Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
出版社
Springer-Verlag
出版时间
2007
ISBN
9783540752202
标注页数
539 页
PDF页数
554 页
书籍介绍
出版社
Springer-Verlag
出版时间
2007
ISBN
9783540752202
标注页数
539 页
PDF页数
554 页