5
1
9783540216711
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers / Edition 1 available in Paperback
![Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers / Edition 1](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.8.5)
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers / Edition 1
- ISBN-10:
- 3540216715
- ISBN-13:
- 9783540216711
- Pub. Date:
- 06/24/2004
- Publisher:
- Springer Berlin Heidelberg
- ISBN-10:
- 3540216715
- ISBN-13:
- 9783540216711
- Pub. Date:
- 06/24/2004
- Publisher:
- Springer Berlin Heidelberg
54.99
In Stock
Product Details
ISBN-13: | 9783540216711 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 06/24/2004 |
Series: | Lecture Notes in Computer Science , #2791 |
Edition description: | 2004 |
Pages: | 281 |
Product dimensions: | 6.10(w) x 9.17(h) x 0.02(d) |
From the B&N Reads Blog