Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
I
Isil Dillig
2 books found
Books by Isil Dillig
Computer Aided Verification
Isil Dillig
⏱ 9h 29m
Computer Aided Verification
Isil Dillig
2019
569 pp.
Verification, Model Checking, and Abstract Interpretation
Isil Dillig
⏱ 9h 18m
Verification, Model Checking, and Abstract Interpretation
Isil Dillig
2018
558 pp.