- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technical Reports ; TR-1990-003
- Klassifikation
-
Informatik
- Schlagwort
-
Mathematische Logik ; Objektorientierte Programmiersprache
- Ereignis
-
Veröffentlichung
- (wo)
-
Mannheim
- (wer)
-
Universitätsbibliothek Mannheim
- (wann)
-
1990
- Urheber
- URN
-
urn:nbn:de:bsz:180-madoc-8483
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:47 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kifer, Michael
- Lausen, Georg
- Wu, James
- Universitätsbibliothek Mannheim
Entstanden
- 1990
Ähnliche Objekte (12)
Preface: logical foundations
Preface: logical foundations
Applied metaphysics – objects in object-oriented ontology and object-oriented programming
Object-oriented database programming
Logical foundations of probability
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Real-time object-oriented modeling
Object-Oriented Programming Languages: Interpretation
Views in object-oriented databases
Patterns in object-oriented analysis
The logical foundations of mathematics
Preface: logical foundations
Preface: logical foundations
Applied metaphysics – objects in object-oriented ontology and object-oriented programming
Object-oriented database programming
Logical foundations of probability
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Real-time object-oriented modeling
Object-Oriented Programming Languages: Interpretation
Views in object-oriented databases
Patterns in object-oriented analysis
The logical foundations of mathematics
Preface: logical foundations
Preface: logical foundations
Applied metaphysics – objects in object-oriented ontology and object-oriented programming
Object-oriented database programming
Logical foundations of probability
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Real-time object-oriented modeling
Object-Oriented Programming Languages: Interpretation
Views in object-oriented databases
Patterns in object-oriented analysis