Edmund M. Clarke (Carnegie Mellon University) Jr. Bøker | Norli.no

JavaScript seems to be disabled in your browser. For the best experience on our site, be sure to turn on Javascript in your browser.

Nettbutikk for bedrifter og skoler

Bøker av Edmund M. Clarke (Carnegie Mellon University) Jr.

Edmund M. Clarke (Carnegie Mellon University) Jr., Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled, Helmut (Technische Universitaet Darmstad Veith
Model Checking

949,-

På lager

Innbundet

Oppdaterer...