Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer: Formal Techniques for Java Programs

Titel:

Formal Techniques for Java Programs / Herausgeber: Bart Jacobs, Gary Leavens, Peter Müller, Arnd Poetzsch-Heffter

Beteiligt:

Körperschaft:

Veröffentlicht:

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