E- text books

  2. Home
  3. Resources
  4. E-books
  5. E- text books
  6. Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

Description

Title of E-book: Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security
Author: Păsăreanu 
Publisher: Morgan & Claypool
Access online  

 

 

 

  

 

Image
P K Kelkar Library
Indian Institute of Technology Kanpur
Kanpur, U P 208016 India
E-mail: librarian@iitk.ac.in
Ph.: +91 512 259-7698 (Professor I/c, Library)
Ph.: +91 512 259-7233 (Circulation)
 
Downloads
+ Forms
Useful Links
+ IITs /IISc Libraries
+ Open Access Resources
Guidelines/Help
+ E-Resources Access
+ Thesis Submission
+ Library Rules
+ E-resources (Off-Campus)
+ SciFinder 

Opening Hours

Monday - Friday

08:00 am - 12:00 Midnight

Saturday

09:00 am - 12:00 Midnight

Sunday & Gazetted Holidays

09:00 am - 05:30 pm

Examination days:  Round the clock
Library Catalog