Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ... 11823 (Lecture Notes in Computer Science)

by Dirk Beyer (Editor), Dirk Beyer (Editor), Chantal Keller (Editor)

New
Paperback
2019
$62.78

$62.78

Quantity

10 in stock

More Information

Format: Paperback
Pages: 220
Edition: 1st ed. 2019
Publisher: Springer
Published: 11 Sep 2019
ISBN 10: 3030311562
ISBN 13: 9783030311568

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ... 11823 (Lecture Notes in Computer Science)

New

$62.78

$62.78

More Information