Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=0*
Treffer 1423 von 3792
|
|
| Link zu diesem Datensatz | https://d-nb.info/1011441322 |
| Art des Inhalts | Hochschulschrift |
| Titel | Interprocedural Polynomial Invariants / Michael Petter |
| Person(en) | Petter, Michael (Verfasser) |
| Verlag | München : Verlag Dr. Hut |
| Zeitliche Einordnung | Erscheinungsdatum: 2011 |
| Umfang/Format | Online-Ressource |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Interprocedural polynomial invariants |
| Hochschulschrift | Zugl.: Technische Universität München, Diss., 2010 |
| Persistent Identifier | URN: urn:nbn:de:101:1-20110503874 |
| URL | http://www.dr.hut-verlag.de/978-3-86853-810-6.html (Verlag) |
| ISBN/Einband/Preis | 978-3-86853-810-6 |
| Anmerkungen | Lizenzpflichtig. - Vom Verlag als Druckwerk on demand angeboten |
| Schlagwörter | Statische Analyse ; Algebraische Gleichung ; Polynominvariante |
| DDC-Notation | 005.1015129422 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1423 von 3792
Administration
