Aufsatzsammlung | Konferenzschrift
Verification of object oriented software : the KeY approach
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540689775
354068977X
- Maße
-
24 cm
- Umfang
-
XXIX, 658 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; Vol. 4334 : Lecture notes in artificial intelligence
- Schlagwort
-
Softwareentwicklung
Objektorientierung
Programmierlogik
Formale Methode
Objektorientierte Programmierung
Softwarespezifikation
Programmverifikation
Korrektheit
Beweis
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York
- (wer)
-
Springer
- (wann)
-
2007
- Beteiligte Personen und Organisationen
-
Beckert, Bernhard
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:44 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.
Objekttyp
- Aufsatzsammlung
- Konferenzschrift
Beteiligte
- Beckert, Bernhard
- Springer
Entstanden
- 2007
Ähnliche Objekte (12)
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Specification and verification of object oriented software components
Modular specification and verification of object oriented programs
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
Specification and verification of object oriented software components
Modular specification and verification of object oriented programs
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
Specification and verification of object oriented software components
Modular specification and verification of object oriented programs
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