Gå direkt till innehållet
Formal Methods and Software Engineering
Spara

Formal Methods and Software Engineering

Lägsta pris på PriceRunner
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.
Undertitel
23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings
Upplaga
1st ed. 2022
ISBN
9783031172434
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2022-10-10
Sidor
440