Object-Orientation Axiomatised by Dynamic Logic; RWTH Aachen, Aachener Informatik-Berichte, Nr. 92-30;

Kemper, A., G. Moerkotte and K. Peithner:

Erscheinungsdatum: 1992

Beschreibung

31 Seiten; Das hier angebotene Heft stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); insgesamt ordentlicher Erhaltungszustand; Sprache: Englisch Gewicht in Gramm: 60.

Bestandsnummer des Verkäufers 1510081

Bibliografische Details

• Titel: Object-Orientation Axiomatised by Dynamic Logic; RWTH Aachen, Aachener Informatik-Berichte, Nr. 92-30
• Erscheinungsjahr: 1992
• Sprache: Englisch
• Einband: Heft
• Zustand: Gut
• Verkäuferkataloge:
  • 204 Technik