A Refinement Method for Java Programs
Grandy, Holger ; Stenzel, Kurt ; Reif, Wolfgang 2006 Universität Augsburg
- Link zu diesem Datensatz
-
https://d-nb.info/1077690584
- Titel
-
A Refinement Method for Java Programs
- Art des Inhalts
- Monographie
- Verfassangaben
- Holger Grandy ; Kurt Stenzel ; Wolfgang Reif
- Autor(en)
-
- Grandy, Holger
- Stenzel, Kurt
- 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-3709
- Sprache
- eng
- Schlagwörter
-
- Stand
- 02.12.2025 07:27
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
