Počet záznamů: 1
formální verifikace
harmonizováno (ph755479) Id 0054704 Heslo formální verifikace Viz též počítačové systémy (širší termín) počítačová věda Poslední změna 20170928214513.2 URL Wikipedie CZ
Wikipedie
Národní autority
Katalog NK ČROdkazy (4) - Soubor jmen akcí (2) - Soubor věcných témat 
předmětové heslo
Počet záznamů: 1