| Popis: | Britský informatik. Zabývá se formalními metodami pro konstrukci hardwaru a softwarovými systémy. |
|---|---|
| WWW: | http://www.kroening.com/ |
| Zdroj: | Národní knihovna ČR |
|
Nemáte ještě svůj účet?
Zaregistrujte se!
|
nebo |