Gå direkt till innehållet
Verification, Model Checking, and Abstract Interpretation
Spara

Verification, Model Checking, and Abstract Interpretation

Lägsta pris på PriceRunner
This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.
Undertitel
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Upplaga
2020 ed.
ISBN
9783030393212
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2020-02-07
Sidor
471