Introduction to Static Analysis
Autor:
Rival, Xavier (Research Director, INRIA Paris-Rocquencourt), Yi, Kwangkeun (Professor, Seoul National University)
Dostupnost:
Skladem u dodavatele v malém množství
Odesíláme za 11-15 dnů
1 918
Kč
A self-contained introduction to abstract interpretation-based static analysis, an essential resourc...