Egon Börger

13. květen 1946

Abstract state machines, B and Z

Uitverkocht

Egon Börger Abstract state machines, B and Z

5,0

Architecture design and validation methods

Uitverkocht

Egon Börger Architecture design and validation methods

4,7

Abstract state machines

Uitverkocht

Egon Börger Abstract state machines

4,0

The classical decision problem

Uitverkocht

Egon Börger The classical decision problem

3,0

Abstract state machines 2003

Uitverkocht

Egon Börger Abstract state machines 2003

Advances in software engineering

Uitverkocht

Egon Börger Advances in software engineering

Modeling companion for software practitioners

Uitverkocht

Egon Börger Modeling companion for software practitioners

Zur Philosophie der mathematischen Erkenntnis

Uitverkocht

Egon Börger Zur Philosophie der mathematischen Erkenntnis

Berechenbarkeit, Komplexität, Logik

Uitverkocht

Egon Börger Berechenbarkeit, Komplexität, Logik