Verifikation, Modellprüfung und abstrakte Interpretation: 15. Internationa...
78,23 €
This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013.
Jetzt bei Ebay:
