Verifizierende rechnerinvariante Numerikmodule
By: von Tim Kersten
Contributors: Universität Karlsruhe
Publisher: [s.n.]
Published: 1998
Place of publication: [s.l.]
Language: ger
Number of pages: 172
Notes: Thesis (doctoral)--Universität Karlsruhe (T.H.), 1998.