C++ toolbox for verified computing / R. Hammer ...
Contributor(s): Resource type: Ressourcentyp: GesamtaufnahmeSetLanguage: English Volumes: Show volumesPublisher: Berlin ; Heidelberg [u.a.] : Springer, 19XX-Subject(s): RVK: RVK: ST 250PPN: PPN: 1116993988No physical items for this record