Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings - Theoretical Computer Science and General Issues - Uli Fahrenberg - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642243097 - September 12, 2011
In case cover and title do not match, the title is correct

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

Price
$ 65.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 17 - 29
Get notified about new Uli Fahrenberg releases
Add to your iMusic wish list

Not rated yet

This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011.


364 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 12, 2011
ISBN13 9783642243097
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 353
Dimensions 155 × 235 × 20 mm   ·   521 g
Language French  
Editor Fahrenberg, Uli
Editor Tripakis, Stavros

More from the same publisher