Przedmiot stanowi wprowadzenie do formalnych technik opisu semantyki języków programowania oraz do formalnych metod wnioskowania o programach komputerowych.
- Nauczyciel: Dariusz Biernacki
- Nauczyciel: Filip Sieczkowski
Semantyka języków programowania
Opcje zapisów
Goście nie mają prawa dostępu do tego kursu. Proszę się zalogować.