Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Formal Techniques for Java Pro...
  • Beschreibung

Treffer: Formal Techniques for Java Programs

Titel:
Formal Techniques for Java Programs / Herausgeber: Bart Jacobs, Gary Leavens, Peter Müller, Arnd Poetzsch-Heffter
Beteiligt:
Jacobs, Bart (Herausgeber) ; Leavens, Gary T. (Herausgeber) ; Müller, Peter (Herausgeber) ; Poetzsch-Heffter, Arnd (Herausgeber)
Körper­schaft:
FernUniversität in Hagen. Fachbereich Informatik (Herausgebendes Organ)
Veröffent­licht:
Hagen : FernUniversität in Hagen, 1999
Umfang:
Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Informatik-Berichte ; 251
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal techniques for Java programs. - Hagen : Fernuniv., Fachbereich Informatik, 1999. - [76] S., graph. Darst.

Zusatz-Informationen

Zusatz-Funktionen