Delivery included to the United States

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : Proceedings - Lecture Notes in Computer Science

2005

Paperback (13 Dec 2005)

Save $3.34

  • RRP $62.44
  • $59.10
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Constitutes the refereed post-proceedings of the Third International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2005. The papers cover work on semantics and modelling of timed systems, formalisms for modelling and verification, including timed automata, hybrid automata, games for verification and synthesis, and more.

Book information

ISBN: 9783540309468
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2005
DEWEY: 004.33
DEWEY edition: 22
Language: English
Number of pages: 305
Weight: 1000g
Height: 234mm
Width: 156mm
Spine width: 17mm