Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings: 11918 (Lecture Notes in Computer Science, 11918)

Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings: 11918 (Lecture Notes in Computer Science, 11918)

by Wolfgang Ahrendt (Editor), Silvia Lizeth Tapia Tarifa (Editor)

$83.08

Save:$5.95 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 571
Edition: 1st ed. 2019
Publisher: Springer
Published: 14 Jan 2020

ISBN 10: 3030349675
ISBN 13: 9783030349677