Aufsatzsammlung | Konferenzschrift
Verification of object oriented software : the KeY approach
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540689775
354068977X
- Dimensions
-
24 cm
- Extent
-
XXIX, 658 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 4334 : Lecture notes in artificial intelligence
- Keyword
-
Softwareentwicklung
Objektorientierung
Programmierlogik
Formale Methode
Objektorientierte Programmierung
Softwarespezifikation
Programmverifikation
Korrektheit
Beweis
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2007
- Contributor
-
Beckert, Bernhard
- 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, 1:44 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
- Aufsatzsammlung
- Konferenzschrift
Associated
- Beckert, Bernhard
- Springer
Time of origin
- 2007
Other Objects (12)
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Specification and verification of object oriented software components
Aliasing in object-oriented programming : types, analysis, and verification
Formal verification of object-oriented software : international conference ; revised selected papers
Formal verification of object-oriented software : international conference ; revised selected papers
Deductive Verification of Floating-Point Java Programs in KeY
Object Oriented Computing
Object oriented metamethods
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
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Specification and verification of object oriented software components
Aliasing in object-oriented programming : types, analysis, and verification
Formal verification of object-oriented software : international conference ; revised selected papers
Formal verification of object-oriented software : international conference ; revised selected papers
Deductive Verification of Floating-Point Java Programs in KeY
Object Oriented Computing
Object oriented metamethods
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
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Specification and verification of object oriented software components
Aliasing in object-oriented programming : types, analysis, and verification
Formal verification of object-oriented software : international conference ; revised selected papers
Formal verification of object-oriented software : international conference ; revised selected papers
Deductive Verification of Floating-Point Java Programs in KeY
Object Oriented Computing
Object oriented metamethods
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction