2 Ebooks tarafından Francesco Logozzo
Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation
…
PDF
İngilizce
DRM
€57.35
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 presente …
PDF
İngilizce
DRM
€57.99