Yazar
Daniel Kroening
6 cilt bulundu.
Daniel Kroening · Springer-Verlag Berlin Heidelberg
322 sayfa · 2008
Logic design / Artificial intelligence / Information theory / Computer science / Software engineering
Daniel Kroening, Corina S. Păsăreanu · Springer London, Limited
582 sayfa · 2015
Computer software, verification / Logic, symbolic and mathematical
Dimitra Giannakopoulou, Daniel Kroening · Springer
292 sayfa · 2014
Computer software / Artificial Intelligence (incl. Robotics) / Software engineering / Computer science / Logic design
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina · Springer
224 sayfa · 2015
Computer science / Computer software, validation
Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger · Springer
226 sayfa · 2008
Digitalschaltung / Lehrbuch
Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke · MIT Press
424 sayfa · 2018
Sat (educational test) / Models and modelmaking