Spolehlivostní hlediska návrhu programového vybavení
| Hlavný autor: | |
|---|---|
| Médium: | Článok |
| Jazyk: | čeština |
| Fyzický popis: | Lit. 3 zázn. v češ., ruš. |
| Predmet: |
Podobné exempláre
Programové vybavení pro pevnostní a funkční výpočty klikových hřídelů
Autor: Hofhanzl, Jiří
Autor: Hofhanzl, Jiří
Mohou shodné algoritmy produkovat neshodné výsledky?
Autor: Velecký, Zdeněk
Autor: Velecký, Zdeněk
Mixed testing/proving techniques for program correctness
Autor: Hořejš, Jiří, 1933-2001
Autor: Hořejš, Jiří, 1933-2001
/Omega/-branching programs of bounded width
Autor: Meinel, Christoph
Autor: Meinel, Christoph
