Formal Modeling and Analysis of Timed Systems: 10th Inteational Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings (Lecture .. Computer Science and General Issues)

Hardcover: 277 pages

Publisher: Springer (August 29, 2012)

Language: English

ISBN-10: 3642333648

电子书代发

PDF格式价格10元我要求助