Picture 1 of 1

Stock photo
Stock photo
Decision Procedures: An Algorithmic Point of View by Daniel Kroening (English) P - Picture 1 of 1

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

Be the first towrite a review.
  • thenilestore (1226335)
  • 98.5% positive Feedback
Price:
AU $116.58
Free postage
Estimated delivery Fri, 29 Nov - Thu, 5 Dec
Returns:
30-day returns. Buyer pays for return postage.
Condition:
Brand new
By Daniel Kroening, Ofer Strichman. Daniel Kroening is a professor in the Dept. of Computer Science at the University of Oxford; his interests include automated verification, software engineering, and programming languages.