Proving properties about subroutines that solve ODE's numerically
Ediciones (1)
- Proving properties about subroutines that solve ODE's numerically (1974)
University of Toronto, Dept. of Computer Science · inglés
University of Toronto, Dept. of Computer Science · inglés