2 Ebooks par Francesco Logozzo
Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation
…
PDF
Anglais
DRM
€57.54
Manuel Fahndrich & Francesco Logozzo: Static Analysis
This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers …
PDF
Anglais
DRM
€57.77
