Zmena tematu seminare

[Jan Kofron]

Vazeni ucastnici seminare,

chtel bych vam oznamit zmenu tematu seminare dne 3.11.2004 - budu 
povidat o Bandere a zamerim se hlavne na priklady demonstrujici vyhody a 
moznosti model checkingu javoveho kodu v praxi.
O puvodne planovane tema "ACL2 - a Lisp theorem prover" neprijdete - 
budu ho povidat na nekterem z dalsich seminaru.

Preji prijemny den
Jan Kofron