Significant service restrictions in the lending area from 17 March!

Result: Modular specification and verification of object oriented programs

Title:
Modular specification and verification of object oriented programs / Peter Müller
Involved:
Müller, Peter 
Published:
Hagen : Fernuniv., Fachbereich Informatik, 2001
Scope:
VI, 261 S. : graph. Darst. ; 30 cm
Format:
book
Language:
English
Series/ Mutipart item:
Informatik-Berichte ; 284
Show all volumes
Dissertation note:
Zugl.:Hagen, Fernuniv., Diss., 2001
RVK-Notation:
ST 231 SS 4000
Subject Added Keywords:
Local Classification:
54.52

Additional information

Additional functions