Suchergebnisse - Börger, Egon 1946-
Egon Börger

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
-
1Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer KomplexitätVeröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
2Modeling companion for software practitionersVeröffentlicht 2018Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
3Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer KomplexitätVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
4Modeling companion for software practitionersVeröffentlicht 2018Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book