Systémy pro verifikaci programů

Uloženo v:
Podrobná bibliografie
Hlavní autor: Barták, Pavel (Autor práce)
Další autoři: Hořejš, Jiří, 1933-2001 (Vedoucí práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Čeština
Vydáno: 1979
Témata:
Obálka
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Prezenční SKLAD
Přírodovědecká fakulta ÚK sklad K-2280 3145147783