Sell, buy or rent Daniel Kroening textbooks

9783662504963-3662504960-Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
9783662504963-3662504960-Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

by Daniel Kroening, Ofer Strichman
ISBN-13: 9783662504963
ISBN-10: 3662504960
Edition: 2nd ed. 2016
Publication date: 2017
Publisher: Springer
Format: Hardcover 377 pages
Sell Buy from $79.34 Rent from $58.31 eBook from $16.50
9783662570654-3662570653-Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
9783662570654-3662570653-Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

by Daniel Kroening, Ofer Strichman
ISBN-13: 9783662570654
ISBN-10: 3662570653
Edition: Softcover reprint of the original 2nd ed. 2016
Publication date: 2018
Publisher: Springer
Format: Paperback 377 pages
Sell Buy from $52.78 Rent from $39.71
9783319216676-3319216678-Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science, 9207)
9783319216676-3319216678-Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science, 9207)

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science, 9207)

by Daniel Kroening, Corina S. Păsăreanu
ISBN-13: 9783319216676
ISBN-10: 3319216678
Edition: 1st ed. 2015
Publication date: 2015
Publisher: Springer
Format: Paperback 487 pages
eBook from $16.50
9783319106229-3319106228-Validation of Evolving Software
9783319106229-3319106228-Validation of Evolving Software

Validation of Evolving Software

by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
ISBN-13: 9783319106229
ISBN-10: 3319106228
Edition: 2015
Publisher: Springer
Format: Hardcover 228 pages
eBook from $29.70
9783319121536-3319121537-Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science, 8471)
9783319121536-3319121537-Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science, 8471)

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science, 8471)

by Dimitra Giannakopoulou, Daniel Kroening
ISBN-13: 9783319121536
ISBN-10: 3319121537
Edition: 2014
Publisher: Springer
Format: Paperback 297 pages
Sell Shop now at Amazon eBook from $16.50
9780262038836-0262038838-Model Checking, second edition (Cyber Physical Systems Series)
9780262038836-0262038838-Model Checking, second edition (Cyber Physical Systems Series)

Model Checking, second edition (Cyber Physical Systems Series)

by Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
ISBN-13: 9780262038836
ISBN-10: 0262038838
Edition: 2nd ed.
Publication date: 2018
Publisher: The MIT Press
Format: Hardcover 424 pages
Sell Shop now at Amazon
9783540741046-3540741046-Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
9783540741046-3540741046-Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

by Daniel Kroening, Ofer Strichman
ISBN-13: 9783540741046
ISBN-10: 3540741046
Edition: 2008
Publisher: Springer
Format: Hardcover 322 pages
Sell Buy from $66.16
9783540777281-3540777288-Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch) (German Edition)
9783540777281-3540777288-Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch) (German Edition)

Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch) (German Edition)

by Armin Biere, Daniel Kröning, Georg Weissenbacher, Christoph M. Wintersteiger
ISBN-13: 9783540777281
ISBN-10: 3540777288
Edition: 2008
Publisher: Springer
Format: Paperback 240 pages
Sell Buy from $30.69 eBook from $9.00
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.