Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, ... (Lecture Notes in Computer Science, 13478)

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, ... (Lecture Notes in Computer Science, 13478)

by Min Zhang (Editor), Min Zhang (Editor), Adrian Riesco (Editor)

$77.06

Quantity

10 in stock

More Information

Format: Paperback
Pages: 454
Edition: 1st ed. 2022

ISBN 13: 9783031172434