An edition of Tests and Proofs
(2020)
Tests and Proofs
14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
by Wolfgang Ahrendt and Heike Wehrheim
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
Jun 20, 2020, Springer
paperback
303050994X 9783030509941
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Source title: Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings (Lecture Notes in Computer Science (12165))
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created July 16, 2020
- 3 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| September 16, 2020 | Edited by ImportBot | import existing book |
| August 26, 2020 | Edited by ImportBot | import existing book |
| July 16, 2020 | Created by ImportBot | Imported from amazon.com record. |