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 - 20 von 121 für Suche 'Börger, Egon', Suchdauer: 0,40s Treffer weiter einschränken
  1. 1
    Katalogkarte der UB Frankfurt
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    von Börger, Egon
    Veröffentlicht 1982
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Computability, complexity, logic
    von Börger, Egon
    Veröffentlicht 1989
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    von Börger, Egon
    Veröffentlicht 1984
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Berechenbarkeit, Komplexität, Logik : Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
    von Börger, Egon
    Veröffentlicht 1992
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Specification and validation methods
    Veröffentlicht 1995
    Inhaltstext
    Publisher description
    Table of contents
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    von Boerger, Egon
    Veröffentlicht 1984
    Katalogkarte der UB Frankfurt
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    von Boerger, Egon
    Veröffentlicht 1984
    Katalogkarte der UB Frankfurt
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Berechenbarkeit, Komplexität, Logik : eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
    von Börger, Egon
    Veröffentlicht 1986
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Specification and validation methods
    Veröffentlicht 1995
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Berechenbarkeit, Komplexität, Logik : eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
    von Börger, Egon
    Veröffentlicht 1985
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    von Börger, Egon
    Veröffentlicht 1983
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    von Börger, Egon
    Veröffentlicht 1990
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Veröffentlicht 1999
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Berechenbarkeit, Komplexität, Logik : eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
    von Börger, Egon
    Veröffentlicht 1986
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Computability, complexity, logic
    von Börger, Egon
    Veröffentlicht 1989
    Inhaltstext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    von Börger, Egon
    Veröffentlicht 1990
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    von Börger, Egon
    Veröffentlicht 1975
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    von Börger, Egon
    Veröffentlicht 1985
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: