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: 27. 3. 2017 05:14.
VytisknoutZobrazeno: 15. 12. 2019 14:01