Media type: Book; Thesis Title: Verifizierende rechnerinvariante Numerikmodule Contributor: Kersten, Tim [Author] imprint: 1998 Extent: IV, 172 S. Language: German Keywords: Numerische Mathematik > Algorithmus > Programmverifikation Origination: University thesis: Karlsruhe, Univ., Diss., 1998 Footnote:
Central Library – stack Shelf-mark: 2000 8 006874 001 Item ID: 30742321 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.