1 द्वारा ईबुक Leonore D. Zuck
Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation
…
PDF
अंग्रेज़ी
DRM
€58.19
