Search
Now showing items 1-3 of 3
Algorithmen - kurz gefasst
Schöning, Uwe (1997)
Buch
Logik für Informatiker
Schöning, Uwe (1995)
Buch
Formal Program Development: IFIP TC2 State-of-the-Art Report
Möller, B.; Partsch, H.; Schuman, S. (1993)
Buch