Handbook of Model Checking - 9783319105741
Un libro in lingua di Clarke Edmund M. (EDT) Henzinger Thomas A. (EDT) Veith Helmut (EDT) Bloem Roderick (EDT) edito da Springer-Verlag New York Inc, 2018
- € 141.00
- Il prezzo è variabile in funzione del cambio della valuta d’origine
Informazioni bibliografiche
- Titolo del Libro in lingua: Handbook of Model Checking
- Lingua: English
- Autori : Clarke Edmund M. (EDT) Henzinger Thomas A. (EDT) Veith Helmut (EDT) Bloem Roderick (EDT)
- Editore: Springer-Verlag New York Inc
- Collana: Springer-Verlag New York Inc (Hardcover)
- Data di Pubblicazione: 20 Marzo '18
- Genere: COMPUTERS
- Pagine: 1210
- Dimensioni mm: 241 x 170 x 0
- EAN-13: 9783319105741