Treffer 1 – 3 von 3 für Suche 'Sagmeister, Patricia Maria 1967-', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Entwicklung von Beweisstrategien für die formale Verifikation von Zeitbedingungen in programmierbaren Logikschaltungen mittels Prädikatenlogik höherer Ordnung

    Entwicklung von Beweisstrategien für die formale Verifikation von Zeitbedingungen in programmierbaren Logikschaltungen mittels Prädikatenlogik höherer Ordnung von Sagmeister, Patricia Maria 1967-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Entwicklung von Beweisstrategien für die formale Verifikation von Zeitbedingungen in programmierbaren Logikschaltungen mittels Prädikatenlogik höherer Ordnung

    Entwicklung von Beweisstrategien für die formale Verifikation von Zeitbedingungen in programmierbaren Logikschaltungen mittels Prädikatenlogik höherer Ordnung von Sagmeister, Patricia Maria 1967-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Entwicklung von Beweisstrategien für die formale Verifikation von Zeitbedingungen in programmierbaren Logikschaltungen mittels Prädikatenlogik höherer Ordnung

    Entwicklung von Beweisstrategien für die formale Verifikation von Zeitbedingungen in programmierbaren Logikschaltungen mittels Prädikatenlogik höherer Ordnung von Sagmeister, Patricia Maria 1967-

    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: