Daniel Kroening

Popular items by Daniel Kroening

View all offers

Model Checking (Cyber Physical Systems Series)
Jr., Edmund M. Clark; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut

Item prices starting from

� 48.27

View 4 offers

Also find
New, Used
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Item prices starting from

� 44.14

View 9 offers

Also find
New, Used
Validation of Evolving Software

Item prices starting from

� 47.08

View 16 offers

Also find
New, Used