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

Formal Methods and Software Engineering

Lägsta pris på PriceRunner
The conference focuses on all areas related to formal engineering methods, such as veri?cation and validation, software engineering, formal speci?cation and modeling, software security, and software reliability.
Undertitel
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Upplaga
1st ed. 2017
ISBN
9783319686899
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2017-10-14
Sidor
498