Decision Procedures: An Algorithmic Point of View by Daniel Kroening (English) P
67,31 €
By Daniel Kroening, Ofer Strichman. Subtitle An Algorithmic Point of View. 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.
Jetzt bei Ebay:
