Formal Techniques for Java Programs
Jacobs, Bart ; Leavens, Gary T. ; Müller, Peter ; Poetzsch-Heffter, Arnd 2017 FernUniversität in Hagen
- Link zu diesem Datensatz
-
https://d-nb.info/1148748601
- Titel
-
Formal Techniques for Java Programs
- Art des Inhalts
- Monographie
- Verfassangaben
- Herausgeber: Bart Jacobs, Gary Leavens, Peter Müller, Arnd Poetzsch-Heffter
- Autor(en)
-
- Jacobs, Bart
- Leavens, Gary T.
- Müller, Peter
- Poetzsch-Heffter, Arnd
- Organisation(en)
-
- FernUniversität in Hagen (Fachbereich Informatik)
- Verlag
- Hagen : FernUniversität in Hagen [2017]
- Jahr
- Erscheinungsdatum: 2017
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:hbz:708-dh5825
- Sprache
- eng
- Sachgruppe(n)
-
- Stand
- 13.02.2026 12:00
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
