C-XSC eine objekt-orientierte Programmierumgebung für verifiziertes wissenschaftliches Rechnen

by Christian Bernhard Friedrich Lawo