Egon Börger

Egon Börger (2015) mini|hochkant|Egon Börger (2015)

Egon Börger (* 13. Mai 1946 in Bad Laer) ist ein deutscher Logiker und Informatiker. Er lehrte bis zu seiner Emeritierung 2011 an der Universität Pisa. Egon Börger hat die formale Methode der ''Abstract State Machine'' (ASM) für die Hardware- und Softwareentwicklung mitbegründet. Veröffentlicht in Wikipedia
Treffer 1 – 4 von 4 für Suche 'Börger, Egon 1946-', Suchdauer: 0,03s 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
    Modeling companion for software practitioners

    Modeling companion for software practitioners von Börger, Egon 1946-, Raschke, Alexander

    Veröffentlicht 2018
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Modeling companion for software practitioners

    Modeling companion for software practitioners von Börger, Egon 1946-, Raschke, Alexander

    Veröffentlicht 2018
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Berechenbarkeit, Komplexität, Logik Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

    Berechenbarkeit, Komplexität, Logik Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität von Börger, Egon 1946-

    Veröffentlicht 1985
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Berechenbarkeit, Komplexität, Logik Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

    Berechenbarkeit, Komplexität, Logik Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität von Börger, Egon 1946-

    Veröffentlicht 1986
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: