Books by Daniel Kroening

2 titles available, newest first by original publication date.

Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Part I cover

Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Part I

Daniel Kroening

$67.99

Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Daniel Kroening

$78.99