Informatyka a logika formalna– wraz z podstawami walidacji programów komputerowych
Creator: Keywords: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
place: Publisher: Date: Contributor:Europejska Uczelnia w Warszawie
Resource Type: Format: Language: Rights Management: Access: