Daniel Kroening - Böcker

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

Inbunden, Engelska, 2018

Av Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Inbunden, Engelska, 2015

Av Dimitra Giannakopoulou, Daniel Kroening

Häftad, Engelska, 2014

Av Daniel Kroening, Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu

Häftad, Engelska, 2015

Av Daniel Kroening, Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu

Häftad, Engelska, 2015

Av Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Häftad, Engelska, 2016

Av Daniel Kroening, Ofer Strichman

Inbunden, Engelska, 2008

Av Armin Biere, Daniel Kröning, Georg Weissenbacher, Christoph M. Wintersteiger, Armin Biere, Daniel Kröning

Häftad, Tyska, 2008

Av Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz

Häftad, Engelska, 2011

Av Daniel Kroening, Ofer Strichman

Inbunden, Engelska, 2017

Av Daniel Kroening, Ofer Strichman

Häftad, Engelska, 2018