5
1
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
469Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
469Paperback(1st ed. 2015)
$54.99
54.99
In Stock
Product Details
ISBN-13: | 9783319221014 |
---|---|
Publisher: | Springer International Publishing |
Publication date: | 08/20/2015 |
Series: | Lecture Notes in Computer Science , #9236 |
Edition description: | 1st ed. 2015 |
Pages: | 469 |
Product dimensions: | 6.10(w) x 9.25(h) x (d) |
From the B&N Reads Blog