FEEDBACK Smiley face
Kroening, Daniel

Decision procedures : an algorithmic point of view by Daniel Kroening and Ofer Strichman - 2nd ed. - Berlin : Springer, ©2016 - xxi, 356 p. ; 24cm. - Texts in theoretical computer science an EATCS .

Includes index

9783662504963


Algorithms
Software engineering
Computer science
Computers

519.542 / KRO-D

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in