Daniel Kroening

Articoli popolari di Daniel Kroening

Visualizza tutte le offerte

Decision Procedures: An Algorithmic Point of View
Kroening, Daniel; Strichman, Ofer

Prezzi articolo a partire da

EUR 34,57

Visualizza 39 offerte

Trova anche
Nuovi, Antichi o usati
Model Checking, second edition
Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut

Prezzi articolo a partire da

EUR 53,91

Visualizza 13 offerte

Trova anche
Nuovi, Antichi o usati
Validation of Evolving Software

Prezzi articolo a partire da

EUR 15,00

Visualizza 33 offerte

Trova anche
Nuovi, Antichi o usati
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers: 8471

Prezzi articolo a partire da

EUR 44,64

Visualizza 17 offerte

Trova anche
Nuovi, Antichi o usati