Search
Now showing items 181-186 of 186
Transformational derivation of (parallel) programs using skeletons
Boiten, E. A.; Geerling, A. M.; Partsch, H. A. (1993)
Beitrag zu einer Konferenz
The KIV-approach to Software Verification
Reif, Wolfgang; Broy, M.; Jähnichen, S. (1995)
Teil eines Buches
Tactics in KIV
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt (1994)
Wissenschaftlicher Artikel
The VSE Development Method - A Way to Engineer High-Assurance Software Systems
Hutter, D. et al.; Gotzheim, B. (1995)
Beitrag zu einer Konferenz
Logik für Informatiker
Schöning, Uwe (1995)
Buch
Algorithmen - kurz gefasst
Schöning, Uwe (1997)
Buch