Hochschulschrift | Online-Publikation
Specification and verification of object oriented software components
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783866440425
3866440421
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Zugl.: Karlsruhe, Univ., Diss., 2006
- Klassifikation
-
Informatik
- Schlagwort
-
Komponente
Objektorientierte Programmiersprache
Korrektheit
Formale Spezifikationstechnik
Programmverifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
Univ.-Verl. Karlsruhe
- (wann)
-
2006
- Urheber
- URN
-
urn:nbn:de:0072-45428
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 MEZ
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
- Hochschulschrift
- Online-Publikation
Beteiligte
- Roth, Andreas
- Univ.-Verl. Karlsruhe
Entstanden
- 2006
Ähnliche Objekte (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
Object oriented specification of distributed systems
Algebraic specification techniques in object oriented programming environments
Aliasing in object-oriented programming : types, analysis, and verification
Verification of object oriented software : the KeY approach
Product-line specification and verification with feature-oriented contracts
A mechanized logical model of Z and object oriented specification
Formal verification of object-oriented software : international conference ; revised selected papers
Formal verification of object-oriented software : international conference ; revised selected papers
Object oriented metamethods
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Object oriented specification of distributed systems
Algebraic specification techniques in object oriented programming environments
Aliasing in object-oriented programming : types, analysis, and verification
Verification of object oriented software : the KeY approach
Product-line specification and verification with feature-oriented contracts
A mechanized logical model of Z and object oriented specification
Formal verification of object-oriented software : international conference ; revised selected papers
Formal verification of object-oriented software : international conference ; revised selected papers
Object oriented metamethods
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Object oriented specification of distributed systems
Algebraic specification techniques in object oriented programming environments
Aliasing in object-oriented programming : types, analysis, and verification
Verification of object oriented software : the KeY approach
Product-line specification and verification with feature-oriented contracts
A mechanized logical model of Z and object oriented specification
Formal verification of object-oriented software : international conference ; revised selected papers
Formal verification of object-oriented software : international conference ; revised selected papers