Introduction to Static Analysis
Autor:
Rival, Xavier (Research Director, INRIA Paris-Rocquencourt), Yi, Kwangkeun (Professor, Seoul National University)
Dostępność:
Dostępna u dostawcy w małych ilościach
Wysyłamy za 11-15 dni
350.82
zł
A self-contained introduction to abstract interpretation-based static analysis, an essential resourc...