| 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: 24. 4. 2024 19:51