Daniel Kroening

Art�culos populares por Daniel Kroening

Ver todas las ofertas

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

Precios de los art�culos a partir de

EUR 55,60

Ver 4 ofertas

Encuentra tambi�n
Nuevos, Antiguos o usados
Validation of Evolving Software

Precios de los art�culos a partir de

EUR 53,87

Ver 16 ofertas

Encuentra tambi�n
Nuevos, Antiguos o usados
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers: 8471 (Programming and Software Engineering)

Precios de los art�culos a partir de

EUR 50,84

Ver 8 ofertas

Encuentra tambi�n
Nuevos, Antiguos o usados