Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1010570668
Link zu diesem Datensatz | https://d-nb.info/1010570668 |
Art des Inhalts | Hochschulschrift |
Titel | Interprocedural polynomial invariants / Michael Petter |
Person(en) | Petter, Michael (Verfasser) |
Ausgabe | 1. Aufl. |
Verlag | München : Verl. Dr. Hut |
Zeitliche Einordnung | Erscheinungsdatum: 2011 |
Umfang/Format | XI, 127 S. : graph. Darst. ; 21 cm, 313 g |
Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Interprocedural Polynomial Invariants |
Hochschulschrift | Zugl.: München, Techn. Univ., Diss., 2010 |
ISBN/Einband/Preis | 978-3-86853-810-6 Pp. : EUR 51.00 (DE) |
EAN | 9783868538106 |
Sprache(n) | Englisch (eng) |
Beziehungen | Informatik |
Schlagwörter | Statische Analyse ; Algebraische Gleichung ; Polynominvariante |
DDC-Notation | 005.1015129422 [DDC22ger] |
Sachgruppe(n) | 004 Informatik |
Weiterführende Informationen |
Inhaltsverzeichnis Inhaltstext |
Frankfurt |
Signatur: 2014 A 81592 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2011 A 39531 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |