Result: Handbook of Model Checking

*Title*:

Handbook of Model Checking / edited by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem

*Author/editor-in-chief*:

*Edition*:

1st ed. 2018

*Publication*:

Cham : Springer International Publishing, 2018

*Distribution*:

Cham : Springer International Publishing AG

*Physical description scale*:

1 Online-Ressource (XXIV, 1210 Seiten) : 220 illus., 6 illus. in color.

*Format*:

*eBook*

*Language*:

*eng*

*Other edition entry*:

Erscheint auch als Druck-Ausgabe: Handbook of Model Checking. - Cham : Springer International Publishing, 2018. - ISBN 9783319105741

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

9783319105758 ; 3319105752 ; 9783319105741 (Sekundärausgabe) ; 9783319105765 (Sekundärausgabe) ; 9783030132330 (Sekundärausgabe)

*DOI*:

10.1007/978-3-319-10575-8

*Result*: Handbook of Model Checking