Hochschulschrift
Modular specification and verification of object oriented programs
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
VI, 261 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Hagen, Fernuniv., Diss., 2001
- Erschienen in
-
Informatik-Berichte ; 284
- Ereignis
-
Veröffentlichung
- (wo)
-
Hagen
- (wer)
-
Fernuniv., Fachbereich Informatik
- (wann)
-
2001
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:25 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
Beteiligte
- Müller, Peter
- Fernuniv., Fachbereich Informatik
Entstanden
- 2001
Ä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 Verification of a Modular Specification: Behavioral Types as Program Logics
Verification of pointer programs
Verification of JavaCard programs
Verification of Java card programs
Verification of business rules programs
Verification of Java card programs
Three-valued specification language and its application to the automatic verification of C programs
Specification of modular systems
Abstract specification of object interaction
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 Verification of a Modular Specification: Behavioral Types as Program Logics
Verification of pointer programs
Verification of JavaCard programs
Verification of Java card programs
Verification of business rules programs
Verification of Java card programs
Three-valued specification language and its application to the automatic verification of C programs
Specification of modular systems
Abstract specification of object interaction
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 Verification of a Modular Specification: Behavioral Types as Program Logics
Verification of pointer programs
Verification of JavaCard programs
Verification of Java card programs
Verification of business rules programs
Verification of Java card programs
Three-valued specification language and its application to the automatic verification of C programs
Specification of modular systems