| Popis: | Narozen 16. 4. 1984 v Brně. Informatik. Práce z oblasti verifikace programů, čítačových automatů, analýzy dosažitelnosti a konečnosti. |
|---|---|
| Život: | nar. 1984 |
| Zdroj: | Národní knihovna ČR |
|
Nemáte ještě svůj účet?
Zaregistrujte se!
|
nebo |