KIT | KIT-Bibliothek | Impressum

Reasoning about complexity of object-oriented programs

Schmidt, Heinz Willi; Zimmermann, Wolf



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buchaufsatz
Jahr 1994
Sprache Englisch
Identifikator KITopen ID: 269394
Erscheinungsvermerk In: Programming concepts, methods and calculi. Ed.: E.-R. Olderog. Amsterdam 1994. S. 553-572. (IFIP transactions. A. 56.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page