• Modular specification and veri...
  • *Holdings*

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

*Title*:
Modular specification and verification of object oriented programs / Peter Müller
*Author/editor-in-chief*:
Müller, Peter (Verfasser) 
*Publication*:
Hagen : FernUniversität in Hagen, 2001
*Physical description scale*:
Online-Ressource
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Informatik-Berichte ; 284
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Müller, Peter, 1972-. Modular specification and verification of object oriented programs. - Hagen : Fernuniv., Fachbereich Informatik, 2001. - VI, 261 S., graph. Darst.

*Additional information*

*Additional functions*