Autorzy | |
Wydawnictwo | Springer Nature |
Data wydania | 14/05/2018 |
Forma publikacji | eBook: Reflowable eTextbook (ePub) |
Język | angielski |
ISBN | 9783319912714 |
Kategorie | Logika matematyczna, Programowanie komputerowe/rozwój oprogramowania, Algorytmy i struktura danych, Języki programowania i skrypty, Nauki komputerowe, Sztuczna inteligencja |
Abstract State Machines, Alloy, B, TLA, VDM, and Z