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

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

Publication Date: 1992

About this Item

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.

Seller Inventory # 1510081

Bibliographic Details

• Title: Object-Orientation Axiomatised by Dynamic Logic; RWTH Aachen, Aachener Informatik-Berichte, Nr. 92-30
• Publication Date: 1992
• Language: English
• Binding: Heft
• Condition: Gut
• Seller catalogs:
  • 204 Technik