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:
algoritmy (programování)
Fortran (programovací jazyk)
programování
computer algorithms
Fortran
programming
diplomové práce
master's theses
Obálka
Popis
Popis jednotky:Vedoucí práce: Jiří Hořejš
Fyzický popis:40 l., ca 80 l. příl.

Podobné jednotky