1 Ebooks oleh Leonore D. Zuck
Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation
…
PDF
Inggris
DRM
€58.19
