Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings - Lecture Notes in Computer Science - Eugene Asarin - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540450269 - September 19, 2006
In case cover and title do not match, the title is correct

Eugene Asarin
Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings - Lecture Notes in Computer Science 2006 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 10 - 16

Our customers say:

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

Coverage includes work on foundations and semantics of timed systems including timed automata, timed Petri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models.

372 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 19, 2006
ISBN13 9783540450269
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 372
Dimensions 155 × 235 × 20 mm   ·   571 g
Language German  
Editor Asarin, Eugene
Editor Bouyer, Patricia

Mere med samme udgiver

See all of Eugene Asarin ( e.g. Paperback Book )