Skip to main content alibris logo

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings

by ,

Write The First Customer Review
Formal Methods  and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings - Riesco, Adrian (Editor), and Zhang, Min (Editor)
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

loading
Formal Methods  and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings 2022, Springer International Publishing AG, Cham

ISBN-13: 9783031172434

Paperback