5
1
9783540262763
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / Edition 1 available in Paperback
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / Edition 1
- ISBN-10:
- 3540262768
- ISBN-13:
- 9783540262763
- Pub. Date:
- 08/05/2005
- Publisher:
- Springer Berlin Heidelberg
- ISBN-10:
- 3540262768
- ISBN-13:
- 9783540262763
- Pub. Date:
- 08/05/2005
- Publisher:
- Springer Berlin Heidelberg
54.99
In Stock
Product Details
ISBN-13: | 9783540262763 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 08/05/2005 |
Series: | Lecture Notes in Computer Science , #3569 |
Edition description: | 2005 |
Pages: | 492 |
Product dimensions: | 6.10(w) x 9.25(h) x 0.04(d) |
From the B&N Reads Blog