Kroening, Daniel books & textbook
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel Strichman, Ofer
Springer /2017-01-27 Hardcover / 377 Pages
isbn-10: 3662504960 / isbn-13: 9783662504963
Model Checking, second edition (Cyber Physical Systems Series)
Clarke Jr., Edmund M. Grumberg, Orna Kroening, Daniel Peled, Doron Veith, Helmut
The MIT Press /2018-12-04 Hardcover / 424 Pages
isbn-10: 0262038838 / isbn-13: 9780262038836
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel Strichman, Ofer Bryant, R.E.
Springer /2008-05-23 Hardcover / 322 Pages
isbn-10: 3540741046 / isbn-13: 9783540741046
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Programming and Software Engineering)
Giannakopoulou, Dimitra Kroening, Daniel
Springer /2014-10-28 Paperback / 297 Pages
isbn-10: 3319121537 / isbn-13: 9783319121536
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... (Lecture Notes in Computer Science, 6504)
Barner, Sharon Harris, Ian Kroening, Daniel Raz, Orna
Springer /2011-03-17 Paperback / 207 Pages
isbn-10: 3642195822 / isbn-13: 9783642195822
Validation of Evolving Software
Chockler, Hana Kroening, Daniel Mariani, Leonardo Sharygina, Natasha
Springer /2015-07-10 Hardcover / 228 Pages
isbn-10: 3319106228 / isbn-13: 9783319106229
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)
Kroening, Daniel Păsăreanu, Corina S.
Springer /2015-07-27 Paperback / 700 Pages
isbn-10: 3319216899 / isbn-13: 9783319216898
Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch) (German Edition)
Biere, Armin Kröning, Daniel Weissenbacher, Georg Wintersteiger, Christoph M.
Springer /2008-02-29 Paperback / 240 Pages
isbn-10: 3540777288 / isbn-13: 9783540777281
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues)
Kroening, Daniel Păsăreanu, Corina S.
Springer /2015-07-23 Paperback / 487 Pages
isbn-10: 3319216678 / isbn-13: 9783319216676
Das Wäre Alles: Teil I: Ein gigantischer Witz (German Edition)
CreateSpace Independent Publishing Platform /2017-12-01 Paperback / 188 Pages
isbn-10: 1981945695 / isbn-13: 9781981945696
