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

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)

$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