Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Algorithms"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/911263888 |
Titel | Verification of optimizing algorithms based on naive denotational semantics / Gerhard Kock. Gesellschaft für Mathematik und Datenverarbeitung mbH |
Person(en) | Kock, Gerhard (Verfasser) |
Verlag | Sankt Augustin : GMD |
Zeitliche Einordnung | Erscheinungsdatum: 1991 |
Umfang/Format | 27 S. ; 30 cm |
ISBN/Einband/Preis | kart. : DM 15.00 |
Beziehungen | Gesellschaft für Mathematik und Datenverarbeitung: Arbeitspapiere der GMD ; 556 |
Anmerkungen |
Literaturverz. S. 25 - 27 Status nach VGG: vergriffen |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Frankfurt |
Signatur: DKb 91/3166
Bereitstellung in Frankfurt |
Leipzig |
Signatur: SB 10218-556
Bereitstellung in Leipzig |
