Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "urn:nbn:de:gbv:579-opus-1012986"
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/1375606794 |
| Titel | Straddling the border between tests and proofs / Li Huang ; Gutachter: Bertrand Meyer, Alexander Omelchenko, Chin Wei Ngan, Gary T. Leavens, Manuel Oriol ; Betreuer: Bertrand Meyer |
| Person(en) |
Huang, Li (Verfasser) Meyer, Bertrand (Akademischer Betreuer) Meyer, Bertrand (Gutachter) Omelchenko, Alexander (Gutachter) Ngan, Chin Wei (Gutachter) Leavens, Gary T. (Gutachter) Oriol, Manuel (Gutachter) |
| Verlag | Bremen : IRC-Library, Information Resource Center der Constructor University |
| Zeitliche Einordnung | Erscheinungsdatum: 2025 |
| Umfang/Format | Online-Ressource (pdf) |
| Hochschulschrift | Dissertation, Bremen, Constructor Univ., 2025 |
| Persistent Identifier | URN: urn:nbn:de:gbv:579-opus-1012986 |
| URL | http://nbn-resolving.org/urn:nbn:de:gbv:579-opus-1012986 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Schlagwörter | Softwaretest* ; Beweis* ; Automatisches Beweisverfahren* ; Softwareentwicklung* ; Verifikation* ; Programmverifikation* (*maschinell ermittelt) |
| DDC-Notation | 005.14 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1 von 1
Administration
