oprava existující anotace, přidání nové anotace
|
Název: |
| Coping with complexity and undecidability in automated verification of computer-based systems : thesis of a lecture within a full professor appoinment in the area of computer science and engineering = Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů : teze přednášky k profesorskému jmenovacímu řízení v oboru Výpočetní technika a informatika |
Autor: |
| Vojnar, Tomáš |
Rok vydání: |
| 2011 |
Identifikátory: |
| 9788021442511 cnb002168581 (OCoLC)773170580 |
|
© 2013-2024 Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích, admin@obalkyknih.cz