Picture 1 of 1

Stock photo
Stock photo
Daniel Kroening Ofer Strichman Decision Procedures (Paperback) - Picture 1 of 1

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

Be the first towrite a review.
  • Rarewaves Outlet (1255401)
  • 98.2% positive Feedback
Price:
AU $80.15
Free postage
Estimated delivery Wed, 27 Nov - Mon, 9 Dec
Returns:
Condition:
Brand new
Author: Daniel Kroening, Ofer Strichman. 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.