Hochschulschrift
Weakest Relative Precondition Semantics : Balancing Approved Theory and Realistic Translation Verification
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2192-6247
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technische Berichte des Instituts für Informatik der CAU Kiel ; 2013
- Event
-
Veröffentlichung
- (where)
-
Kiel
- (who)
-
Universitätsbibliothek Kiel
- (when)
-
2001
- Creator
-
Wolf, Andreas
- URN
-
urn:nbn:de:gbv:8:1-zs-00000181-a7
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:45 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
- Wolf, Andreas
- Universitätsbibliothek Kiel
Time of origin
- 2001
Other Objects (12)
Weakest relative precondition semantics : balancing approved theory and realistic translation verification
Schilddrüsenvolumenbestimmung - Vergleich der szintigraphischen und sonographischen Volumetrie
Auswanderungsgesuch Andreas Wolf, Neudorf
Wolf, Andreas, geb. 5.11.1863, Hauptlehrer in Mechlenreuth, ab 1.1.1929 im Ruhestand
Beiträge zu einer statistisch-historischen Beschreibung des Fürstenthums Moldau / von Andreas Wolf, der Arzneigelahrtheit Doctor, ausübendem Arzte zu Hermannstadt und der Königlichen Großbrittanischen Societät der Wissenschaften in Göttingen correspondirendem Mitgliede. - Hermannstadt : Hochmeister. - Theil 1-2, 1805
Einfluss des traumatisch-hämorrhagischen Schocks auf den Proteintransport des Lymphsystems
Untersuchungen zum Dithranolerythem an gesunder menschlicher Haut
Nichtempirische SCF-Rechnungen an abgeschlossenen Elektronenkonfigurationen von Dimeren der ersten Übergangsmetallreihe
Wolf, Andreas
Wolf, Andreas
Wolf, Andreas
Wolf, Andreas
Weakest relative precondition semantics : balancing approved theory and realistic translation verification
Schilddrüsenvolumenbestimmung - Vergleich der szintigraphischen und sonographischen Volumetrie
Auswanderungsgesuch Andreas Wolf, Neudorf
Wolf, Andreas, geb. 5.11.1863, Hauptlehrer in Mechlenreuth, ab 1.1.1929 im Ruhestand
Beiträge zu einer statistisch-historischen Beschreibung des Fürstenthums Moldau / von Andreas Wolf, der Arzneigelahrtheit Doctor, ausübendem Arzte zu Hermannstadt und der Königlichen Großbrittanischen Societät der Wissenschaften in Göttingen correspondirendem Mitgliede. - Hermannstadt : Hochmeister. - Theil 1-2, 1805
Einfluss des traumatisch-hämorrhagischen Schocks auf den Proteintransport des Lymphsystems
Untersuchungen zum Dithranolerythem an gesunder menschlicher Haut
Nichtempirische SCF-Rechnungen an abgeschlossenen Elektronenkonfigurationen von Dimeren der ersten Übergangsmetallreihe
Wolf, Andreas
Wolf, Andreas
Wolf, Andreas
Wolf, Andreas
Weakest relative precondition semantics : balancing approved theory and realistic translation verification
Schilddrüsenvolumenbestimmung - Vergleich der szintigraphischen und sonographischen Volumetrie
Auswanderungsgesuch Andreas Wolf, Neudorf
Wolf, Andreas, geb. 5.11.1863, Hauptlehrer in Mechlenreuth, ab 1.1.1929 im Ruhestand
Beiträge zu einer statistisch-historischen Beschreibung des Fürstenthums Moldau / von Andreas Wolf, der Arzneigelahrtheit Doctor, ausübendem Arzte zu Hermannstadt und der Königlichen Großbrittanischen Societät der Wissenschaften in Göttingen correspondirendem Mitgliede. - Hermannstadt : Hochmeister. - Theil 1-2, 1805
Einfluss des traumatisch-hämorrhagischen Schocks auf den Proteintransport des Lymphsystems
Untersuchungen zum Dithranolerythem an gesunder menschlicher Haut
Nichtempirische SCF-Rechnungen an abgeschlossenen Elektronenkonfigurationen von Dimeren der ersten Übergangsmetallreihe
Wolf, Andreas
Wolf, Andreas
Wolf, Andreas