Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Modular specification and veri...
  • Bestand

Treffer: Modular specification and verification of object oriented programs

Titel:
Modular specification and verification of object oriented programs / Peter Müller
Beteiligt:
Müller, Peter (Verfasser) 
Veröffent­licht:
Hagen : FernUniversität in Hagen, 2001
Umfang:
Online-Ressource
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Informatik-Berichte ; 284
Andere Ausgaben:
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.

Zusatz-Informationen

Zusatz-Funktionen