Handbook of 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

Handbook of model checking

Základní údaje

Originální název

Handbook of model checking

Autoři

Edited by E. M. Clarke - T. A. Henzinger - Helmut Veith - Roderick Bloem.

Vydání

Cham, xxiv, 1210, 2018

Nakladatel

Springer International Publishing AG

Další údaje

ISBN

9783319105741

Změněno: 8. 8. 2022 15:11, Záznam byl importován z knihovního systému.

Handbook of model checking. Edited by E. M. Clarke - T. A. Henzinger - Helmut Veith - Roderick Bloem. Cham: Springer International Publishing AG, 2018, xxiv, 1210. ISBN 9783319105741.

\textit{Handbook of model checking}. Edited by E. M. Clarke - T. A. Henzinger - Helmut Veith - Roderick Bloem. Cham: Springer International Publishing AG, 2018, xxiv, 1210. ISBN~9783319105741.