Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday: 10460 (Lecture Notes in Computer Science)

by Luca Aceto (Editor), Anna Ingólfsdóttir (Editor), Giorgio Bacci (Editor), Anna Ingólfsdóttir (Editor), Luca Aceto (Editor), Axel Legay (Editor), Radu Mardare (Editor), Giovanni Bacci (Editor)

New
Paperback
2017
$63.81

$63.81

Save:$36.16 (36%)

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 680
Edition: 1st ed. 2017
Publisher: Springer
Published: 25 Jul 2017
ISBN 10: 3319631209
ISBN 13: 9783319631202

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday: 10460 (Lecture Notes in Computer Science)

New

$63.81

$63.81

More Information