Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
Subjects
›
Higher Order Languages
Higher Order Languages
2 books
Verification, Model Checking, and Abstract Interpretation
Kedar S. Namjoshi
⏱ 6h 35m
Verification, Model Checking, and Abstract Interpretation
Kedar S. Namjoshi
2005
395 pp.
The Expected Knowledge
Sivashanmugam Palaniappan
⏱ 28m
The Expected Knowledge
Sivashanmugam Palaniappan
2012
28 pp.