Formal Modeling and Analysis of Timed Systems: 9th Inteational Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings .. Computer Science and General Issues)

Hardcover: 360 pages

Publisher: Springer (September 12, 2011)

Language: English

ISBN-10: 3642243096

电子书代发

PDF格式价格10元我要求助