Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday: 13065 (Lecture Notes in Computer Science, 13065)

by Martin Leucker (Editor), Martin Leucker (Editor), Yliès Falcone (Editor), Ezio Bartocci (Editor)

New
Paperback
2021
$59.36

$59.36

Quantity

10 in stock

More Information

Format: Paperback
Pages: 205
Edition: 1st ed. 2021
Publisher: Springer
Published: 28 Sep 2021
ISBN 10: 3030873471
ISBN 13: 9783030873479

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday: 13065 (Lecture Notes in Computer Science, 13065)

New

$59.36

$59.36

More Information