2 Ebooks de Francesco Logozzo
Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation
…
PDF
Engleză
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
Engleză
DRM
€57.77
