Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme
München [u.a.]: Oldenbourg, 1992
Monographie, Hochschulschrift, Gedruckte Ressource
- X, 217 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme
|
---|---|
Verantwortlichkeitsangabe: | Gerd Kock |
Autor/in / Beteiligte Person: | Kock, Gerd |
Verwandtes Werk: | |
Veröffentlichung: | München [u.a.]: Oldenbourg, 1992 |
Medientyp: | Monographie, Hochschulschrift |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | X, 217 S. : graph. Darst. |
ISBN: | 3486222554 brosch. : ca. DM 60.00 |
Schlagwort: |
|
Sonstiges: |
|