Significant service restrictions in the lending area from 17 March!
  • Handbook of Model Checking
  • Holdings

Result: Handbook of Model Checking

Title:
Handbook of Model Checking / edited by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Involved:
Clarke, Edmund M (Herausgeber); Henzinger, Thomas A (Herausgeber); Veith, Helmut (Herausgeber); Bloem, Roderick (Herausgeber)
Edition:
1st ed. 2018
Published:
Cham : Springer International Publishing, 2018
Distribution:
Cham : Springer International Publishing AG
Scope:
1 Online-Ressource (XXIV, 1210 Seiten) : 220 illus., 6 illus. in color.
Format:
eBook
Language:
English
Other editions:
Erscheint auch als Druck-Ausgabe: Handbook of Model Checking. - Cham : Springer International Publishing, 2018. - ISBN 9783319105741
RVK-Notation:
ST 136 ST 233
Subject Added Keywords:
ISBN:
9783319105758 ; 3319105752 ; 9783319105741 (Sekundärausgabe) ; 9783319105765 (Sekundärausgabe) ; 9783030132330 (Sekundärausgabe)
DOI:
10.1007/978-3-319-10575-8

Additional information

Additional functions