Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings - Theoretical Computer Science and General Issues - Jean-francois Raskin - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540754534 - September 20, 2007
In case cover and title do not match, the title is correct

Jean-francois Raskin
Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings - Theoretical Computer Science and General Issues 2007 edition

Price
Íkr 8,099
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 13 - 27
Get notified about new Jean-francois Raskin releases

Our customers say:

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

Not rated yet

This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints;

382 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 20, 2007
ISBN13 9783540754534
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 372
Dimensions 155 × 235 × 20 mm   ·   539 g
Language French  
Editor Raskin, Jean-Francois
Editor Thiagarajan, P.S.

More from the same publisher

See all of Jean-francois Raskin ( e.g. Paperback Book )