Autorzy | |
Wydawnictwo | Springer Nature |
Data wydania | 05/11/2018 |
Forma publikacji | eBook: Reflowable eTextbook (ePub) |
Język | angielski |
ISBN | 9783030024505 |
Kategorie | Logika matematyczna, Technologia informacyjna i komputerowa, Komputery kieszonkowe i innie urządzenia kieszonkowe: instrukcje obsługi dla uży, Programowanie komputerowe/rozwój oprogramowania, Inżynieria oprogramowania, Expert systems / knowledge-based systems |
Formal Methods and Software Engineering