­ ­ ­
Hits: 178

E-Book details

Course No. CS639A
Title Decision Procedures: An Algorithmic Point of View
Author Daniel Kroening and Ofer Strichman
How to Access

Access online

  

E-Book Summary 

Contact us

libacq@iitk.ac.in  

Resources Gateway

P K Kelkar Library Resources (print and electronics) are accessible through one common platform. A robust search function allows users to filter between print and electronic resources.  login

 

© 2022 PKKL, IIT Kanpur