Decision Procedures
Subtitle: An Algorithmic Point of View
By: by Daniel Kroening, Ofer Strichman
Contributors: Strichman, Ofer; SpringerLink (Online service)
Series: Texts in Theoretical Computer Science, An Eatcs Series
Publisher: Springer-Verlag Berlin Heidelberg; Springer
Published: 2008
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 322
ISBN-13: 9783540741046; 9783540741053
Subjects: Logic design; Artificial intelligence; Information theory; Computer science; Software engineering