Søkte etter:

2 treff
Formal techniques in real-time and fault-tolerant systems : 7th international symposium, FTRTFT 2002 : co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings
FTRTFT 2002
Bok Engelsk 2002
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Werner Damm
Bok Språk ikke angitt 1987