Buy Used and New Daniel Kroening Books

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)

by Dimitra Giannakopoulou, Daniel Kroening

ISBN 13: 9783319121536

Format: Paperback (300 pages)
Publisher: Springer
Published: 14 Oct 2014

Save for later

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

by Daniel Kroening, Corina S. Pasareanu

ISBN 13: 9783319216676

Format: Paperback (488 pages)
Publisher: Springer
Published: 14 Aug 2015

Save for later

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

by Daniel Kroening,Corina S. Pasareanu

ISBN 13: 9783319216898

Format: Paperback (704 pages)
Publisher: Springer
Published: 27 Jul 2015

Save for later

Validation of Evolving Software

by Hana Chockler, Daniel Kroening, Leonardo Mariani

ISBN 13: 9783319106229

Format: Hardcover (230 pages)
Publisher: Springer
Published: 31 Jul 2015

Save for later

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

by Daniel Kroening,Ofer Strichman

ISBN 13: 9783662504963

Format: Hardcover (377 pages)
Publisher: Springer
Published: 27 Jan 2017

Save for later

Model Checking (Cyber Physical Systems Series)

by Edmund M. Clark Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

ISBN 13: 9780262038836

Format: Hardcover (424 pages)
Publisher: MIT Press
Published: 21 Dec 2018

Save for later

Validation of Evolving Software

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

ISBN 13: 9783319382005

Format: Paperback (228 pages)
Publisher: Springer
Published: 17 Oct 2016

Save for later

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

by Daniel Kroening,Ofer Strichman

ISBN 13: 9783662570654

Format: Paperback (377 pages)
Publisher: Springer
Published: 13 Jul 2018

Save for later