Grafika na TV?
Aleš Procháska
prochaska
Středa Březen 17 12:03:48 CET 2004
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
Další informace o konferenci Hw-list