Konferenzschrift | Kongress
Formal verification of object-oriented software : international conference ; revised selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642180699
- Dimensions
-
24 cm
- Extent
-
X, 197 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 6528
- Keyword
-
Softwareprodukt
Objektorientierung
Verifikation
Formale Methode
Objektorientierte Programmiersprache
Verifikation
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2011
- Contributor
-
Beckert, Bernhard
Marché, Claude
FoVeOOS (2010 : Paris)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:17 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Beckert, Bernhard
- Marché, Claude
- FoVeOOS (2010 : Paris)
- Springer
Time of origin
- 2011
Other Objects (12)
Formal verification of object-oriented software : international conference ; revised selected papers
Aliasing in object-oriented programming : types, analysis, and verification
Applied metaphysics – objects in object-oriented ontology and object-oriented programming
Object-oriented database programming
Real-time object-oriented modeling
Object-Oriented Programming Languages: Interpretation
Patterns in object-oriented analysis
Views in object-oriented databases
Developing object-oriented multimedia software, Buch.
Object-oriented Software for Industrial Robots
Updatable Views in Object-Oriented Databases
Tim Ingold and Object-Oriented Anthropology
Formal verification of object-oriented software : international conference ; revised selected papers
Aliasing in object-oriented programming : types, analysis, and verification
Applied metaphysics – objects in object-oriented ontology and object-oriented programming
Object-oriented database programming
Real-time object-oriented modeling
Object-Oriented Programming Languages: Interpretation
Patterns in object-oriented analysis
Views in object-oriented databases
Developing object-oriented multimedia software, Buch.
Object-oriented Software for Industrial Robots
Updatable Views in Object-Oriented Databases
Tim Ingold and Object-Oriented Anthropology
Formal verification of object-oriented software : international conference ; revised selected papers
Aliasing in object-oriented programming : types, analysis, and verification
Applied metaphysics – objects in object-oriented ontology and object-oriented programming
Object-oriented database programming
Real-time object-oriented modeling
Object-Oriented Programming Languages: Interpretation
Patterns in object-oriented analysis
Views in object-oriented databases
Developing object-oriented multimedia software, Buch.
Object-oriented Software for Industrial Robots
Updatable Views in Object-Oriented Databases