Hochschulschrift
Weakest relative precondition semantics : balancing approved theory and realistic translation verification
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
VI, 197 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Kiel., Univ., Diss., 2001
- Erschienen in
-
Bericht / Christian-Albrechts-Universität zu Kiel ; Nr. 2013
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Inst. für Informatik und Praktische Mathematik
- (wann)
-
2001
- Urheber
-
Wolf, Andreas
- 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:38 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
- Wolf, Andreas
- Inst. für Informatik und Praktische Mathematik
Entstanden
- 2001
Ähnliche Objekte (12)
Weakest Relative Precondition Semantics : Balancing Approved Theory and Realistic Translation Verification
Cholesterin- und Triglyzeridkonzentration in der Tränenflüssigkeit unter Silikon-Permanentkontaktlinsen bei einseitiger Aphakie
Der zu Langenberg tot gefundene Andreas Wolf von Haag
Untersuchungen zu vasoaktiven Substanzen in der menschlichen Nebenniere
Wolf, Andreas
Synthese und Reaktivität von Carben- und Carbinkomplexen
Einfluss des traumatisch-hämorrhagischen Schocks auf den Proteintransport des Lymphsystems
Wolf, Andreas
Modifikation der Lichtausbreitung in Halbleitern durch photogenerierte Ladungsträger
Die Entwicklung der stationären chirurgischen Betreuung in Dresden von den Anfängen bis 1945
Wolf, Andreas
Wolf, Andreas
Weakest Relative Precondition Semantics : Balancing Approved Theory and Realistic Translation Verification
Cholesterin- und Triglyzeridkonzentration in der Tränenflüssigkeit unter Silikon-Permanentkontaktlinsen bei einseitiger Aphakie
Der zu Langenberg tot gefundene Andreas Wolf von Haag
Untersuchungen zu vasoaktiven Substanzen in der menschlichen Nebenniere
Wolf, Andreas
Synthese und Reaktivität von Carben- und Carbinkomplexen
Einfluss des traumatisch-hämorrhagischen Schocks auf den Proteintransport des Lymphsystems
Wolf, Andreas
Modifikation der Lichtausbreitung in Halbleitern durch photogenerierte Ladungsträger
Die Entwicklung der stationären chirurgischen Betreuung in Dresden von den Anfängen bis 1945
Wolf, Andreas
Wolf, Andreas
Weakest Relative Precondition Semantics : Balancing Approved Theory and Realistic Translation Verification
Cholesterin- und Triglyzeridkonzentration in der Tränenflüssigkeit unter Silikon-Permanentkontaktlinsen bei einseitiger Aphakie
Der zu Langenberg tot gefundene Andreas Wolf von Haag
Untersuchungen zu vasoaktiven Substanzen in der menschlichen Nebenniere
Wolf, Andreas
Synthese und Reaktivität von Carben- und Carbinkomplexen
Einfluss des traumatisch-hämorrhagischen Schocks auf den Proteintransport des Lymphsystems
Wolf, Andreas
Modifikation der Lichtausbreitung in Halbleitern durch photogenerierte Ladungsträger
Die Entwicklung der stationären chirurgischen Betreuung in Dresden von den Anfängen bis 1945
Wolf, Andreas