CLARKE, E. M., Orna GRUMBERG, Doron PELED, Daniel KROENING a Helmut VEITH. Model checking. Second edition. Cambridge, Massachusetts: MIT Press, 2018, xx, 402. ISBN 9780262038836.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Model checking
Autoři CLARKE, E. M., Orna GRUMBERG, Doron PELED, Daniel KROENING a Helmut VEITH.
Vydání Second edition. Cambridge, Massachusetts, xx, 402, 2018.
Nakladatel MIT Press
Další údaje
ISBN 9780262038836
Změnil Záznam byl importován z knihovního systému. Změněno: 8. 8. 2022 15:27.
VytisknoutZobrazeno: 18. 5. 2024 11:08