Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday: 13030 (Lecture Notes in Computer Science, 13030)

by Bernhard Steffen (Editor), Bernhard Steffen (Editor), Wang Yi (Editor), Ernst-Rüdiger Olderog (Editor)

New
Paperback
2021
$65.17

$65.17

Quantity

10 in stock

More Information

Format: Paperback
Pages: 227
Edition: 1st ed. 2021
Publisher: Springer
Published: 22 Nov 2021
ISBN 10: 303091383X
ISBN 13: 9783030913830

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday: 13030 (Lecture Notes in Computer Science, 13030)

New

$65.17

$65.17

More Information