Login
- Titel:
Object-Orientation Axiomatised by Dynamic Logic
- Dokumenttyp:
- Report / Forschungsbericht
- Autor(en):
- Kemper, A. ; Moerkotte, G. ; Peithner, K.
- Dewey Dezimalklassifikation:
- 004
- Beauftragende Einrichtung:
- RWTH Aachen
- Jahr:
- 1992
- Sprache:
- en
- Format:
- Text
BibTeX