![Handbook of Model Checking - Clarke - Books - Springer International Publishing AG - 9783319105741 - June 8, 2018](https://imusic.b-cdn.net/images/item/original/741/9783319105741.jpg?clarke-2018-handbook-of-model-checking-hardcover-book&class=scaled&v=1499786745)
Tell your friends about this item:
Handbook of Model Checking 1st ed. 2018 edition
Clarke
Handbook of Model Checking 1st ed. 2018 edition
Clarke
1000 pages, biography
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | June 8, 2018 |
ISBN13 | 9783319105741 |
Publishers | Springer International Publishing AG |
Pages | 1210 |
Dimensions | 166 × 244 × 59 mm · 2.51 kg |
Language | French |
Editor | Bloem, Roderick |
Editor | Clarke, Edmund M., Jr. |
Editor | Henzinger, Thomas A. |
Editor | Veith, Helmut |