5
1
9783540643562
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, / Edition 1 available in Paperback
![Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, / Edition 1](http://vs-images.bn-web.com/static/redesign/srcs/images/grey-box.png?v11.11.1)
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, / Edition 1
- ISBN-10:
- 3540643567
- ISBN-13:
- 9783540643562
- Pub. Date:
- 05/04/1998
- Publisher:
- Springer Berlin Heidelberg
- ISBN-10:
- 3540643567
- ISBN-13:
- 9783540643562
- Pub. Date:
- 05/04/1998
- Publisher:
- Springer Berlin Heidelberg
![Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, / Edition 1](http://vs-images.bn-web.com/static/redesign/srcs/images/grey-box.png?v11.11.1)
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, / Edition 1
54.99
In Stock
Product Details
ISBN-13: | 9783540643562 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 05/04/1998 |
Series: | Lecture Notes in Computer Science , #1384 |
Edition description: | 1998 |
Pages: | 461 |
Product dimensions: | 6.10(w) x 9.17(h) x 0.04(d) |
From the B&N Reads Blog