Formal Modeling and Analysis of Timed Systems: 5th

2015-05-23 分类：计算机与互联网

Formal Modeling and Analysis of Timed Systems: 5th Inteational Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings (Lecture .. Computer Science and General Issues)

Hardcover: 369 pages

Publisher: Springer (September 20, 2007)

Language: English

ISBN-10: 3540754539

电子书代发PDF格式价格10元我要求助

未经允许不得转载：Wow! eBook » Formal Modeling and Analysis of Timed Systems: 5th

相关推荐