Verifying Java Programs – A Graph Grammar Approach
Heinen, Jonathan 2015 Verlag Dr. Hut
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/1075408717
- Titel
- Verifying Java Programs – A Graph Grammar Approach
- Art des Inhalts
- Monographie
- Verfassangaben
- Jonathan Heinen
- Autor
- Heinen, Jonathan
- Organisation(en)
-
- Verlag Dr. Hut
- Verlag
- München : Verlag Dr. Hut [2015]
- Jahr
- Erscheinungsdatum: 2015
- Umfang/Format
- Online-Ressource
- ISBN/Einband/Preis
9783843921770- Online
- https://nbn-resolving.org/urn:nbn:de:101:1-2015081425692
- Sprache
- ger
- Schlagwörter
- Anmerkungen
-
- Lizenzpflichtig. - Vom Verlag als Druckwerk on demand und/oder als E-Book angeboten
- Zugl.: Rheinisch-Westfälische Technische Hochschule Aachen, Diss., 2015
- Stand
- 22.12.2025 06:55
- Im Katalog seit
- 06.03.2026