Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Kock, Gerd (VerfasserIn)
Format: Abschlussarbeit Buch
Sprache:German
Veröffentlicht: München [u.a.] Oldenbourg 1992
Schriftenreihe:Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: Berichte der Gesellschaft für Mathematik und Datenverarbeitung 201
Schlagworte:
Beschreibung:IX, 217 S.
ISBN:3486222554

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!