Picture 1 of 2

Stock photo
Stock photo
Decision Procedures - An Algorithmic Second Edition - Picture 1 of 2
Decision Procedures - An Algorithmic Second Edition - Picture 2 of 2

Decision Procedures: An Algorithmic Point of View by Ofer Strichman, Daniel Kroening (Paperback, 2018)

Be the first towrite a review.
  • officeguy20 (410)
  • 100% positive Feedback
Price:
AU $29.99
Free postage
Estimated delivery Fri, 15 Nov - Mon, 18 Nov
Returns:
Condition:
Brand new
Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research.