Higher Order Languages

2 books
Verification, Model Checking, and Abstract InterpretationKedar S. Namjoshi
⏱ 6h 35m

Verification, Model Checking, and Abstract Interpretation

Kedar S. Namjoshi

2005395 pp.
The Expected KnowledgeSivashanmugam Palaniappan
⏱ 28m

The Expected Knowledge

Sivashanmugam Palaniappan

201228 pp.