Autorzy | |
Wydawnictwo | Springer Nature |
Data wydania | 14/01/2020 |
Forma publikacji | eBook: Reflowable eTextbook (ePub) |
Język | angielski |
ISBN | 9783030393229 |
Kategorie | Technologia informacyjna i komputerowa, Programowanie komputerowe/rozwój oprogramowania, Inżynieria oprogramowania, Computer networking & communications, Sztuczna inteligencja |
Verification, Model Checking, and Abstract Interpretation