E- text books

Description

Title of E-book: Decision Procedures: An Algorithmic Point of View
Course No: CS639A
Author: Daniel Kroening and Ofer Strichman 
Publisher: Springer
How to Access:
Access online  

Access till: Perpetual

 

 

  

 

293 hits