Grafika na TV?

[Aleš Procháska]

Nicmene pro nej lze provest uplnou formalni verifikaci, coz zase tento
program stavi do zcela jineho svetla. Formalne verifikovanych (a to
jeste jenom castecne) programu beha na svete velmi malo, proc se tedy
nezaradit do tohoto exkluzivniho klubu top-class programatoru ?

Ales Prochaska


Martin.Landa@pvt.cz napsal 5. dubna 2001 11:17:21:

> Ja si myslim, ze program ktery nema zadny vstup a zadny vystup je prakticky
> nepouzitelny a asi to neni ani program. ;)

> Martin