C++ toolbox for verified computing I : basic numerical problems /
57
Autor principal: | |
---|---|
Format: | |
Publicat: |
Berlin : Springer,
1995
|
Matèries: |
57
Autor principal: | |
---|---|
Format: | |
Publicat: |
Berlin : Springer,
1995
|
Matèries: |