Verification, Model Checking, and Abstract Interpretation: 20th International Co
69,60 €
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.
Jetzt bei Ebay: