Tell your friends about this item:
Handbook Of Model Checking Clarke 1st ed. 2018 edition
Handbook Of Model Checking
Clarke
1000 pages, biography
| Media | Books Book |
| Released | June 8, 2018 |
| ISBN13 | 9783319105741 |
| Publishers | Springer International Publishing AG |
| Pages | 1210 |
| Dimensions | 166 × 244 × 59 mm · 2.14 kg |
| Language | German |
| Editor | Bloem, Roderick |
| Editor | Clarke, Edmund M., Jr. |
| Editor | Henzinger, Thomas A. |
| Editor | Veith, Helmut |