- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
178 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Augsburg, Univ., Diss., 2005 (Nicht für den Austausch)
- Keyword
-
Programmverifikation ; Java ; Kalkül ; Formale Semantik
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:29 PM CET
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
- Hochschulschrift
Associated
Other Objects (12)
Verification of JavaCard programs
Verification of Java card programs
Deductive verification of safety-critical Java programs
Deductive Verification of Floating-Point Java Programs in KeY
Verification of pointer programs
Verification of business rules programs
Verification of second-order functional programs
On the verification of SCOOP programs
Verification of sequential and concurrent programs
Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java
Cartesian abstraction and verification of multithreaded programs
Mechanized verification of imperative and functional programs
Verification of JavaCard programs
Verification of Java card programs
Deductive verification of safety-critical Java programs
Deductive Verification of Floating-Point Java Programs in KeY
Verification of pointer programs
Verification of business rules programs
Verification of second-order functional programs
On the verification of SCOOP programs
Verification of sequential and concurrent programs
Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java
Cartesian abstraction and verification of multithreaded programs
Mechanized verification of imperative and functional programs
Verification of JavaCard programs
Verification of Java card programs
Deductive verification of safety-critical Java programs
Deductive Verification of Floating-Point Java Programs in KeY
Verification of pointer programs
Verification of business rules programs
Verification of second-order functional programs
On the verification of SCOOP programs
Verification of sequential and concurrent programs
Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java
Cartesian abstraction and verification of multithreaded programs