Ruf, Jürgen
Techniken zur Modellierung und Verifikation von Echtzeitsystemen Jürgen Ruf - 1. Auflage - Berlin Logos-Verlag 1999 - 230 S.
3897223252 DM 79,-
Qualitätssicherung
Techniken zur Modellierung und Verifikation von Echtzeitsystemen Jürgen Ruf - 1. Auflage - Berlin Logos-Verlag 1999 - 230 S.
3897223252 DM 79,-
Qualitätssicherung