Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, ... (Lecture Notes in Computer Science, 12549)

by Nadia Polikarpova (Editor), Maria Christakis (Editor), Peter Schrammel (Editor), Parasara Sridhar Duggirala (Editor)

New
Paperback
2020
$54.91

$54.91

Save:$9.80 (15%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 265
Edition: 1st ed. 2020
Publisher: Springer
Published: 06 Dec 2020
ISBN 10: 3030636178
ISBN 13: 9783030636173

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, ... (Lecture Notes in Computer Science, 12549)

New

$54.91

$54.91

More Information