5
1
9783030311568
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings available in Paperback, eBook
![Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.10.4)
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings
- ISBN-10:
- 3030311562
- ISBN-13:
- 9783030311568
- Pub. Date:
- 09/11/2019
- Publisher:
- Springer International Publishing
- ISBN-10:
- 3030311562
- ISBN-13:
- 9783030311568
- Pub. Date:
- 09/11/2019
- Publisher:
- Springer International Publishing
![Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.10.4)
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings
$54.99
Current price is , Original price is $54.99. You
54.99
In Stock
Product Details
ISBN-13: | 9783030311568 |
---|---|
Publisher: | Springer International Publishing |
Publication date: | 09/11/2019 |
Series: | Lecture Notes in Computer Science , #11823 |
Edition description: | 1st ed. 2019 |
Pages: | 207 |
Product dimensions: | 6.10(w) x 9.25(h) x (d) |
From the B&N Reads Blog