Model Checking - 9780262038836
Un libro in lingua di Clarke Edmund M. Jr. Orna Grumberg Daniel Kroening Doron Peled Helmut Veith edito da Mit Pr, 2018
- € 82.50
- Il prezzo è variabile in funzione del cambio della valuta d’origine
Informazioni bibliografiche
- Titolo del Libro in lingua: Model Checking
- Lingua: English
- Autori : Clarke Edmund M. Jr. Orna Grumberg Daniel Kroening Doron Peled Helmut Veith
- Editore: Mit Pr
- Collana: Mit Pr (Hardcover)
- Data di Pubblicazione: 11 Dicembre '18
- Genere: COMPUTERS
- Argomenti : Computer systems Verification
- Pagine: 464
- Dimensioni mm: 228 x 177 x 0
- EAN-13: 9780262038836