1 Ebooks tarafından Leonore D. Zuck
Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation
…
PDF
İngilizce
DRM
€58.19
