Helmut (Technische Universitaet Darmstad Veith 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 Helmut (Technische Universitaet Darmstad Veith

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...