Buy Used and New Adrian Riesco Books

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 Adrian Riesco, Min Zhang

ISBN 13: 9783031172434

Format: Paperback (454 pages)
Publisher: Springer
Published: 10 Oct 2022

Save for later