5
1
9783540212997
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, / Edition 1 available in Paperback

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, / Edition 1
- ISBN-10:
- 354021299X
- ISBN-13:
- 9783540212997
- Pub. Date:
- 04/28/2004
- Publisher:
- Springer Berlin Heidelberg
- ISBN-10:
- 354021299X
- ISBN-13:
- 9783540212997
- Pub. Date:
- 04/28/2004
- Publisher:
- Springer Berlin Heidelberg

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, / Edition 1
109.99
In Stock
Product Details
ISBN-13: | 9783540212997 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 04/28/2004 |
Series: | Lecture Notes in Computer Science , #2988 |
Edition description: | 2004 |
Pages: | 614 |
Product dimensions: | 6.10(w) x 9.25(h) x 0.05(d) |
From the B&N Reads Blog