Yazar: Josh Berdine

Destek

1 Ebooks tarafından Josh Berdine

Josh Berdine & Roberto Giacobazzi: Verification, Model Checking, and Abstract Interpretation
This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co- …
PDF
İngilizce
DRM
€57.96