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: 13. 10. 2024 15:08