Decision Procedures: An Algorithmic Point of View

Kroening, Daniel.

Decision Procedures: An Algorithmic Point of View - Berlin Springer 2008 - xvi, 304p.

9783540741046


Decision making--Mathematical models

004.015 / Kro
© 2021 Managed and maintained by Central Library, IIT Goa