Hochschulschrift
Deductive verification: from theory to practice : = Deduktive Verifikation: von der Theorie in die Praxis
- Weitere Titel
-
Deduktive Verifikation: von der Theorie in die Praxis
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
217 Seiten
- Sprache
-
Englisch
- Anmerkungen
-
Diagramme
Enthält Sonderabdrucke
Technische Universität Darmstadt, Habilitationsschrift, 2017
- Klassifikation
-
Informatik
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:21 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
- Hochschulschrift
Beteiligte
Entstanden
- 2017
Ähnliche Objekte (12)
Automated deductive verification of probabilistic programs
Deductive verification of safety-critical Java programs
A Deductive Verification Infrastructure for Probabilistic Programs
User Interaction in Deductive Interactive Program Verification
Automatic Data Dependence Analysis by Deductive Verification
Extending the reach and power of deductive program verification
Program-level Specification and Deductive Verification of Security Properties
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
Deductive Verification of Floating-Point Java Programs in KeY
Retrieval of reusable components in a deductive, object oriented database environment : = Auffinden wiederverwendbarer Komponenten in deduktiven Software-Objektbanken
Deductive systems :
Deduktive Programmierung
Automated deductive verification of probabilistic programs
Deductive verification of safety-critical Java programs
A Deductive Verification Infrastructure for Probabilistic Programs
User Interaction in Deductive Interactive Program Verification
Automatic Data Dependence Analysis by Deductive Verification
Extending the reach and power of deductive program verification
Program-level Specification and Deductive Verification of Security Properties
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
Deductive Verification of Floating-Point Java Programs in KeY
Retrieval of reusable components in a deductive, object oriented database environment : = Auffinden wiederverwendbarer Komponenten in deduktiven Software-Objektbanken
Deductive systems :
Deduktive Programmierung
Automated deductive verification of probabilistic programs
Deductive verification of safety-critical Java programs
A Deductive Verification Infrastructure for Probabilistic Programs
User Interaction in Deductive Interactive Program Verification
Automatic Data Dependence Analysis by Deductive Verification
Extending the reach and power of deductive program verification
Program-level Specification and Deductive Verification of Security Properties
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
Deductive Verification of Floating-Point Java Programs in KeY
Retrieval of reusable components in a deductive, object oriented database environment : = Auffinden wiederverwendbarer Komponenten in deduktiven Software-Objektbanken
Deductive systems :