GRUMBERG, Orna, Doron A. PELED a E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | Model checking |
Autoři | GRUMBERG, Orna, Doron A. PELED a E. M. CLARKE. |
Vydání | Cambridge, xiv, 314, 1999. |
Nakladatel | MIT Press |
Další údaje | |
---|---|
ISBN | 0262032708 |
Změnil | Záznam byl importován z knihovního systému. Změněno: 8. 8. 2022 12:24. |
VytisknoutZobrazeno: 28. 9. 2024 22:58