Result: Formal Techniques for Java Programs

*Title*:

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

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

Hagen : FernUniversität in Hagen, 1999

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Informatik-Berichte ; 251

*Other edition entry*:

Erscheint auch als Druck-Ausgabe: Formal techniques for Java programs. - Hagen : Fernuniv., Fachbereich Informatik, 1999. - [76] S., graph. Darst.

*Result*: Formal Techniques for Java Programs