Daniel Kroening – författare
Visar alla böcker från författaren Daniel Kroening.
11 produkter
Validation of Evolving Software
Av Hana Chockler, Daniel Kroening m. fl.
Inbunden, 2015
739 kr
Lägg i varukorg
Verified Software: Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Av Dimitra Giannakopoulou, Daniel Kroening
Häftad, 2014
709 kr
Lägg i varukorg
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Av Daniel Kroening, Corina S. Păsăreanu
Häftad, 2015
739 kr
Lägg i varukorg
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Av Daniel Kroening, Corina S. Păsăreanu
Häftad, 2015
739 kr
Lägg i varukorg
Validation of Evolving Software
Av Hana Chockler, Daniel Kroening m. fl.
Häftad, 2016
739 kr
Lägg i varukorg
Digitaltechnik - Eine praxisnahe Einführung
Av Armin Biere, Daniel Kröning m. fl.
Häftad, 2008
409 kr
Lägg i varukorg
Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Av Sharon Barner, Ian Harris m. fl.
Häftad, 2011
739 kr
Lägg i varukorg
Decision Procedures
An Algorithmic Point of View
Av Daniel Kroening, Ofer Strichman
Inbunden, 2017
739 kr
Lägg i varukorg
Decision Procedures
An Algorithmic Point of View
Av Daniel Kroening, Ofer Strichman
Häftad, 2018
509 kr
Lägg i varukorg
Decision Procedures
An Algorithmic Point of View
Av Daniel Kroening, Ofer Strichman
Inbunden, 2008
1219 kr
Tillfälligt slut