Autorzy | |
Wydawnictwo | MIT Press Ltd |
Data wydania | 11/02/2020 |
Liczba stron | 320 |
Forma publikacji | książka w twardej oprawie |
Poziom zaawansowania | Dla szkół wyższych i kształcenia podyplomowego |
Język | angielski |
ISBN | 9780262043410 |
Kategorie | Oprogramowanie matematyczne i statystyczne |
Introduction to Static Analysis: An Abstract Interpretation Perspective