Result: Specification and verification of object-oriented software components

*Title*:

*Author/editor-in-chief*:

*Publication*:

[Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2006

*Distribution*:

The Hague : OAPEN FOUNDATION

*Physical description scale*:

1 Online-Ressource (XVIII, 248 p. p.)

*Format*:

*eBook*

*Language*:

*ger*

*oa_rights*:

Open Access

*Result*: Specification and verification of object-oriented software components