oprava existující anotace, přidání nové anotace
|
Název: |
| Simulations and antichains for efficient handling of finite automata: monograph |
Autor: |
| Holík, Lukáš; Vojnar, Tomáš |
Rok vydání: |
| 2010 |
Identifikátory: |
| 9788021442177 cnb002160206 (OCoLC)724295372 |
|
© 2013-2024 Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích, admin@obalkyknih.cz