Testovanie, diagnostika a verifikácia digitálnych systémov - Gramatová, Elena 1948-; Jelemenská, Katarína (Edícia učebných textov informatiky a informačných technológií, 2012)