| 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: 22. 5. 2024 05:35