Skip to main content alibris logo

Formal Modeling and Analysis of Timed Systems: 9th International Conference, Formats 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings

by ,

Write The First Customer Review
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings - Fahrenberg, Uli (Editor), and Tripakis, Stavros (Editor)
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency
loading
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings 2011, Springer, Berlin, Heidelberg

ISBN-13: 9783642243097

Trade paperback