Algorithmen mit Ergebnisverifikation mit C++/2.0

Publikationstyp
Technical Report
Publikationsdatum
1992
Sprache
German
Author
Jüllig, Hans-Peter 
Institut
Zuverlässiges Rechnen E-19 
TORE-URI
http://hdl.handle.net/11420/9487
First published in
Berichte des Forschungsschwerpunktes Informations- und Kommunikationstechnik 
Number in series
92.2
Citation
Berichte des Forschungsschwerpunktes Informations- und Kommunikationstechnik 92.2: (1992)
Publisher
Technische Universität Hamburg-Harburg
DDC Class
004: Informatik
510: Mathematik