Result: Modular specification and verification of object-oriented programs

*Title*:

*Author/editor-in-chief*:

Müller, Peter

*Publication*:

Berlin [u.a.] : Springer, 2002

*Physical description scale*:

XIV, 292 S. : graph. Darst. ; 24 cm

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 2262
*show_all_volumes*

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540431675

*Result*: Modular specification and verification of object-oriented programs