Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings: 12165 (Lecture Notes in Computer Science)

by Heike Wehrheim (Editor), Wolfgang Ahrendt (Editor)

New
Paperback
2020
$53.47

$53.47

Quantity

10 in stock

More Information

Format: Paperback
Pages: 196
Edition: 1st ed. 2020
Publisher: Springer
Published: 20 Jun 2020
ISBN 10: 303050994X
ISBN 13: 9783030509941

Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings: 12165 (Lecture Notes in Computer Science)

New

$53.47

$53.47

More Information