Model checking

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Podrobný výpis o publikaci

Podrobný výpis o publikaci

2018

Model checking

CLARKE, E. M., Orna GRUMBERG, Doron PELED, Daniel KROENING, Helmut VEITH et. al.

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ěněno: 8. 8. 2022 15:27, Záznam byl importován z knihovního systému.

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.

CLARKE, E. M., Orna GRUMBERG, Doron PELED, Daniel KROENING a Helmut VEITH. \textit{Model checking}. Second edition. Cambridge, Massachusetts: MIT Press, 2018, xx, 402. ISBN~9780262038836.