Kroening Daniel, Strichman Ofer:
Decision Procedures

An Algorithmic Point Of View

Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2008
Hardback, 320 pages
Size: 235x155 mm
ISBN: 9783540741046
ISBN-10: 3540741046

Our price: £38.24
List price: £44.99
You save: 15%

Usually ships within 2 weeks.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

Decision Procedures

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. This book focuses on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research.

Related links:

Daniel Kroening
Ofer Strichman
Artificial intelligence
Applications of computing
Computing and information technology
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg

More information from Wikipedia:

Daniel Kroening
Ofer Strichman
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
Macroeconomics

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |