Informatyka a logika formalna– wraz z podstawami walidacji programów komputerowych
Autor: Słowa kluczowe:Big Data ; hardware ; informatyka ; język SQL ; kodowanie informacji ; kryptografia ; logika ; logika formalna ; maszyna logiczna ; Maszyna Turinga ; notacja Z ; programowanie w języku C ; sieci komputerowe ; walidacja
Miejsce wydania: Wydawca: Data wydania: Współtwórca:Europejska Uczelnia w Warszawie
Typ zasobu: Format: Język: Prawa: Dostęp: