HDMS-A und OBSCURE in KORSO : die funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode. Teil 1, Einführung und Anmerkungen
Finna-recension
HDMS-A und OBSCURE in KORSO : die funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode. Teil 1, Einführung und Anmerkungen
Sparad:
Fysisk beskrivning |
70 sivua |
---|---|
Språk |
tyska |
Originalverkets språk |
tyska |
Utgivare |
Saarbrücken :
Universität des Saarlandes,
1993.
|
Mer information | Ramses A. Heckler ; under Mitarbeit von Serge Autexier und Christoph Benzmüller und unter Beratung durch Stefan Conrad, Rudi Hettler |