GMD-Bericht. 201, Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme /
| Hlavní autor: |
Kock, Gerd
(
Autor )
|
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
němčina |
| Vydavatel: |
München :
R. Oldenbourg Verlag.,
1992
|
| Předmět: | |
|
|