Elements of programming /

Autor Stepanov, Aleksandr Aleksandrovič, 1950-, McJones, Paul
Vydáno 2009

Systémy pro verifikaci programů

Autor Bartáková, Dagmar
Vydáno 1979

Obecné otázky aplikace automatů v informatice

Autor Urbanovský, Milan
Vydáno 1980

Problémy ladění studentských programů

Autor Marečková, Helena, Ochranová, Renata, 1942-2017
Vydáno 1983