MModular specification and verification of object-oriented prModular specification and verification of object-oriented programsde Peter MüllerMateriasObject-oriented programming (Computer science)Modular programmingComputer softwareDevelopmentEdiciones (1)Modular specification and verification of object-oriented programs (2002)Springer · inglésMás obras de Peter MüllerBeiträge zur Würdigung von Karl Gutzkow als LustspieldichterEErnst Cassirers "Philosophie der symbolischen Formen"Ernst Cassirers "Philosophie der symbolischen Formen"SSammeln, Stiften, FördernSammeln, Stiften, Fördern
EErnst Cassirers "Philosophie der symbolischen Formen"Ernst Cassirers "Philosophie der symbolischen Formen"
