Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047)

by Marieke Huisman (Editor), Marieke Huisman (Editor), Naijun Zhan (Editor), Corina Pasareanu (Editor)

New
Paperback
2021
$116.87

$116.87

Quantity

10 in stock

More Information

Format: Paperback
Pages: 817
Edition: 1st ed. 2021
Publisher: Springer
Published: 10 Nov 2021
ISBN 10: 3030908690
ISBN 13: 9783030908690

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047)

New

$116.87

$116.87

More Information