Hochschulschrift
Eine Methode zur automatischen Herleitung oder Widerlegung einfacher Programmeigenschaften durch Generierung neuer Termersetzungsregeln
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
127 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Marburg, Univ., Diss., 1999
- Schlagwort
-
Programmverifikation
Termersetzungssystem
- Urheber
-
Müller, Martin
- 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:15 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, Martin
Ähnliche Objekte (12)
Implementierung einer Anfrageschnittstelle für ASIS zur Generierung von IML
Martin Müller
Abgangszeugnis Martin Müller
Abgangszeugnis Martin Müller
Abgangszeugnis Martin Müller
Abgangszeugnis Martin Müller
Abgangszeugnis Martin Müller
Abgangszeugnis Martin Müller
Die Kramerinnung beschwert sich über den Posamentier Martin Müller wegen des Verkaufs geklöppelter Spitzen
Posamentier Martin Müller beschwert sich wegen Erteilung des Meisterrechts
Die Stadt Balingen macht den Vorbehalt, dass ein Holzbeitrag für Martin Müller, genannt Buoblin, zur Erbauung einer Brücke über die Eyach ("Eyhe") bei der Obermühle ohne Rechtsverbindlichkeit geleistet worden sei.
![453-454 [Rezension] Vogel, Heinrich, Allein und Auch](https://iiif.deutsche-digitale-bibliothek.de/image/2/520c91a0-e050-433c-8f0a-c77e22226a81/full/!306,450/0/default.jpg)
453-454 [Rezension] Vogel, Heinrich, Allein und Auch
Implementierung einer Anfrageschnittstelle für ASIS zur Generierung von IML
Martin Müller
Abgangszeugnis Martin Müller
Abgangszeugnis Martin Müller
Abgangszeugnis Martin Müller
Abgangszeugnis Martin Müller
Abgangszeugnis Martin Müller
Abgangszeugnis Martin Müller
Die Kramerinnung beschwert sich über den Posamentier Martin Müller wegen des Verkaufs geklöppelter Spitzen
Posamentier Martin Müller beschwert sich wegen Erteilung des Meisterrechts
Die Stadt Balingen macht den Vorbehalt, dass ein Holzbeitrag für Martin Müller, genannt Buoblin, zur Erbauung einer Brücke über die Eyach ("Eyhe") bei der Obermühle ohne Rechtsverbindlichkeit geleistet worden sei.
453-454 [Rezension] Vogel, Heinrich, Allein und Auch
Implementierung einer Anfrageschnittstelle für ASIS zur Generierung von IML
Martin Müller
Abgangszeugnis Martin Müller
Abgangszeugnis Martin Müller
Abgangszeugnis Martin Müller
Abgangszeugnis Martin Müller
Abgangszeugnis Martin Müller
Abgangszeugnis Martin Müller
Die Kramerinnung beschwert sich über den Posamentier Martin Müller wegen des Verkaufs geklöppelter Spitzen
Posamentier Martin Müller beschwert sich wegen Erteilung des Meisterrechts
Die Stadt Balingen macht den Vorbehalt, dass ein Holzbeitrag für Martin Müller, genannt Buoblin, zur Erbauung einer Brücke über die Eyach ("Eyhe") bei der Obermühle ohne Rechtsverbindlichkeit geleistet worden sei.