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

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

Data di pubblicazione: 1992

Riguardo questo articolo

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.

Codice articolo 1510081

Dati bibliografici

• Titolo: Object-Orientation Axiomatised by Dynamic Logic; RWTH Aachen, Aachener Informatik-Berichte, Nr. 92-30
• Data di pubblicazione: 1992
• Lingua: Inglese
• Rilegatura: Heft
• Condizione: Gut
• Cataloghi dei venditori:
  • 204 Technik