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

Uli Fahrenberg

Price
A$ 98.99

Ordered from remote warehouse

Expected delivery Dec 4 - 17
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

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

See all of Uli Fahrenberg ( e.g. Paperback Book )