Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten Programmierumgebungen
1995
Online
Monographie, Hochschulschrift, Elektronische Ressource
- 1 Computerdatei (ca. 675 KB) ; Auszüge (Titel, Inhaltsverzeichnis, ca. 52 KB)
Ermittle Ausleihstatus...
Titel: |
Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten Programmierumgebungen
|
---|---|
Verantwortlichkeitsangabe: | vorgelegt von Andreas Steins |
Autor/in / Beteiligte Person: | Steins, Andreas |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | 1995 |
Medientyp: | Monographie, Hochschulschrift |
Datenträgertyp: | Elektronische Ressource |
Umfang: | 1 Computerdatei (ca. 675 KB) ; Auszüge (Titel, Inhaltsverzeichnis, ca. 52 KB) |
Sonstiges: |
|