Scientific computing with automatic result verification

Bibliographische Detailangaben

Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Boston Academic Press c1993
Schriftenreihe:	Mathematics in science and engineering v. 189
Schlagworte:	Datenverarbeitung Informatik Mathematik Computer science > Mathematics Electronic data processing Verifikation Wissenschaftliches Rechnen Aufsatzsammlung
Online-Zugang:	https://www.sciencedirect.com/bookseries/mathematics-in-science-and-engineering/vol/189/suppl/C
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!