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