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: 18. 5. 2024 12:55