BooksCOMPUTERS/Computer Science

Decision Procedures: An Algorithmic Point of View

by Daniel Kroening, Ofer Strichman

Product Details

Author

Daniel Kroening, Ofer Strichman

Publisher

Springer/Sci-Tech/Trade

Binding

Hardcover

ISBN

9783662504963

Genre

COMPUTERS/Computer Science