Reasoning about Pointer Structures in Java
Stenzel, Kurt ; Grandy, Holger ; Reif, Wolfgang 2006 Universität Augsburg
- Link zu diesem Datensatz
-
https://d-nb.info/1077690894
- Titel
-
Reasoning about Pointer Structures in Java
- Art des Inhalts
- Monographie
- Verfassangaben
- Kurt Stenzel ; Holger Grandy ; Wolfgang Reif
- Autor(en)
-
- Stenzel, Kurt
- Grandy, Holger
- Reif, Wolfgang
- Verlag
- Augsburg : Universität Augsburg [2006]
- Jahr
- Erscheinungsdatum: 2006
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-3719
- Sprache
- eng
- Schlagwörter
-
- Stand
- 02.12.2017 13:51
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
