5
1
9783540606307
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers / Edition 1 available in Paperback
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers / Edition 1
- ISBN-10:
- 3540606300
- ISBN-13:
- 9783540606307
- Pub. Date:
- 12/20/1995
- Publisher:
- Springer Berlin Heidelberg
- ISBN-10:
- 3540606300
- ISBN-13:
- 9783540606307
- Pub. Date:
- 12/20/1995
- Publisher:
- Springer Berlin Heidelberg
54.99
In Stock
Product Details
ISBN-13: | 9783540606307 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 12/20/1995 |
Series: | Lecture Notes in Computer Science , #1019 |
Edition description: | 1995 |
Pages: | 298 |
Product dimensions: | 6.10(w) x 9.25(h) x 0.03(d) |
From the B&N Reads Blog