• Symbolic Algebraic Methods and...
  • Bestand

Treffer: Symbolic Algebraic Methods and Verification Methods

Titel:
Symbolic Algebraic Methods and Verification Methods / edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto
Beteiligt:
Alefeld, Götz (Herausgeber) ; Rohn, Jiří (Herausgeber); Rump, Siegfried (Herausgeber); Yamamoto, Tetsuro (Herausgeber)
Veröffent­licht:
Vienna : Imprint: Springer, 2001
Format:
E-Book
Sprache:
Englisch
Andere Ausgaben:
Elektronische Reproduktion von: Symbolic Algebraic Methods and Verification Methods. - Vienna : Springer, 2001
RVK-Notation:
SD 1999 SS 1800
Vorliegende Ausgabe:
Online-Ausgabe: Berlin : Springer, 2014. - 1 Online-Ressource. - (SpringerLink: Springer e-Books)
ISBN:
9783709162804 ; 3709162807 ; 9783211835937 (Sekundärausgabe) ; 3211835938 (Sekundärausgabe)
DOI:
10.1007/978-3-7091-6280-4

Zusatz-Informationen

Zusatz-Funktionen