Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
by Eugene Asarin
Available
Ships From London
Free Shipping within U.K
International Shipping?
Check Delivery Estimate and
Delivery Charges
for your country
Publisher: | Springer |
Published In: | 19-Sep-2006 |
ISBN-10: | 3540450262 |
ISBN-13: | 9783540450269 |
Binding Type: | Paperback |
Weight: | 644 gms |
Pages: | pp. 388, Illus. |
The Title "Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings 1st Edition" is written by Eugene Asarin. This book was published in the year 2006. The ISBN number 3540450262|9783540450269 is assigned to the Paperback version of this title. This book has total of pp. xi + 369 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings 1st Edition is currently Available with us.