9783030132330 - handbook of model checking (2 risultati)

ISBN:

Perfeziona con la Ricerca avanzata

Handbook of Model Checking
Lingua: Inglese
Editore: Springer, 2020
3030132331 / 9783030132330
- Brossura
- Print on Demand
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 130,66
Spedizione gratuita
Spedito in U.S.A.
Quantità: 10 disponibili
Condizione: Brand New. New. Delivery takes 20-25 days. Print on Demand.
Altre immagini
Handbook of Model Checking
Clarke, Edmund M.|Henzinger, Thomas A.|Veith, Helmut|Bloem, Roderick
Lingua: Inglese
Editore: Springer International Publishing, 2020
3030132331 / 9783030132330
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 128,41
EUR 48,99 spedizione
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Comprehensive introduction and overview of the key foundational topicsExcellent reference for researchers and graduate students engaged with formal methods and verification toolsEditors and authors among the world s…