5
1
9783319661063
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings available in Paperback, eBook
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
- ISBN-10:
- 331966106X
- ISBN-13:
- 9783319661063
- Pub. Date:
- 11/23/2022
- Publisher:
- Springer International Publishing
- ISBN-10:
- 331966106X
- ISBN-13:
- 9783319661063
- Pub. Date:
- 11/23/2022
- Publisher:
- Springer International Publishing
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
$54.99
Current price is , Original price is $54.99. You
54.99
In Stock
Product Details
ISBN-13: | 9783319661063 |
---|---|
Publisher: | Springer International Publishing |
Publication date: | 11/23/2022 |
Series: | Lecture Notes in Computer Science , #10499 |
Edition description: | 1st ed. 2017 |
Pages: | 532 |
Product dimensions: | 6.10(w) x 9.25(h) x (d) |
From the B&N Reads Blog