| Handbook of model checking. Edited by E. M. Clarke - T. A. Henzinger - Helmut Veith - Roderick Bloem. Cham: Springer International Publishing AG, 2018, xxiv, 1210. ISBN 9783319105741. |
|
Další formáty:
BibTeX
LaTeX
RIS
|
| Základní údaje | |
|---|---|
| Originální název | Handbook of model checking |
| Autoři | Edited by E. M. Clarke - T. A. Henzinger - Helmut Veith - Roderick Bloem. |
| Vydání | Cham, xxiv, 1210, 2018. |
| Nakladatel | Springer International Publishing AG |
| Další údaje | |
|---|---|
| ISBN | 9783319105741 |
| Změnil | Záznam byl importován z knihovního systému. Změněno: 8. 8. 2022 15:11. |
VytisknoutZobrazeno: 30. 4. 2024 11:10