Symbolic Algebraic Methods and Verification Methods

Sprache(n): Englisch

ISBN: 978-3-211-83593-7 / 978-3211835937 / 9783211835937

Verlag: Springer Wien

Erscheinungsdatum: 12.02.2001

Seiten: 266

Auflage: 1

Zielgruppe: Research

Herausgegeben von Jiri Rohn, Götz Alefeld, Siegfried Rump, Siegfried M. Rump, Tetsuro Yamamoto