 |
Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
ISBN: 3540309462 / Paperback
Publisher: Springer / 2006-01-23
List Price: CAD78.20
Similar Books More Details
|
 |
|
 |
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
ISBN: 3540216715 / Paperback
Publisher: Springer / 2004-06-24
List Price: CAD73.31
Similar Books More Details
|
|
|
 |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
ISBN: 3540231676 / Paperback
Publisher: Springer / 2004-12-14
List Price: CAD94.89
Similar Books More Details
|
|
|
 |
Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
ISBN: 3540754539 / Paperback
Publisher: Springer / 2007-11-28
List Price: CAD88.11
Similar Books More Details
|
|
|
 |
Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
ISBN: 3540450262 / Paperback
Publisher: Springer / 2006-10-19
List Price: CAD84.72
Similar Books More Details
|
|
|
 |
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
ISBN: 354085777X / Paperback
Publisher: Springer / 2008-10-21
List Price: CAD82.94
Similar Books More Details
|
|
|
|
United States | 
United Kingdom | 
Canada