Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Algorithms"
Treffer 1804 von 1850
|
|
| Link zu diesem Datensatz | https://d-nb.info/953323110 |
| Art des Inhalts | Hochschulschrift |
| Titel | MIZAR verification of generic algebraic algorithms / vorgelegt von Christoph Schwarzweller |
| Person(en) | Schwarzweller, Christoph (Verfasser) |
| Zeitliche Einordnung | Erscheinungsdatum: 1997 |
| Umfang/Format | 164 S. ; 21 cm |
| Hochschulschrift | Tübingen, Univ., Diss., 1997 (Nur beschränkt für den Austausch) |
| Sprache(n) | Englisch (eng) |
| Schlagwörter | Computeralgebra ; Algorithmus ; Korrektheit ; Generische Programmierung |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: H 1998 A 2695
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: H 1998 A 2695
Bereitstellung in Leipzig |
Treffer 1804 von 1850
Administration
