Verified Software: Theories, Tools and Experiments : Philadelphia PA

Blazy - Verified Software. Theories Tools and Experiments 8th Inte - X555z

Verified Software: Theories, Tools, Experiments: Second International Conference

Quantum Field Theory and Condensed Matter An Introduction by Ramamurti Shankar

Paskevich - Verified Software. Theories Tools and Experiments 9th - X555z

Giannakopoulou - Verified Software Theories Tools and Experiments - X555z

Verified Software: Theories, Tools, Experiments: 4th International Conference, V

Schaum’s Outline Series Theory and Problems: Differential Inte Calculus 2nd Ed.