Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... (Lecture Notes in Computer Science, 13182)

by Bernd Finkbeiner (Editor), Bernd Finkbeiner (Editor), Thomas Wies (Editor)

New
Paperback
2022
$98.95

$98.95

Quantity

10 in stock

More Information

Format: Paperback
Pages: 530
Edition: 1st ed. 2022
Publisher: Springer
Published: 14 Jan 2022
ISBN 10: 3030945820
ISBN 13: 9783030945824

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... (Lecture Notes in Computer Science, 13182)

New

$98.95

$98.95

More Information