Titelaufnahme

• Titel
  Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten Programmierumgebungen / vorgelegt von Andreas Steins
• Verfasser
  Steins, Andreas
• Erschienen
  1995
• Umfang
  1 Computerdatei (ca. 675 KB) Auszüge (Titel, Inhaltsverzeichnis, ca. 52 KB)
• Hochschulschrift
  Wuppertal, Univ., Diss.
• Anmerkung
  Systemvoraussetzungen: Internet-Anschluss; Acrobat-Reader
• Sprache
  Deutsch
• Dokumenttyp
  Dissertation
• URN
  urn:nbn:de:hbz:468-20231215-161605-0