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. 2. 2024 16:31