HDMS-A und OBSCURE in KORSO : die funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode. Teil 3, Die Spezifikation der atomaren Funktionen
Finna-arvio
HDMS-A und OBSCURE in KORSO : die funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode. Teil 3, Die Spezifikation der atomaren Funktionen
Tallennettuna:
| Ulkoasu |
59 sivua |
|---|---|
| Kieli |
saksa |
| Alkuteoksen kieli |
saksa |
| Julkaisija |
Saarbrücken :
Universität des Saarlandes,
1993.
|
| Lisätiedot | Christoph Benzmüller ; under Mitarbeit von Serge Autexier und Ramses A. Heckler und unter Beratung durch Stefan Conrad, Rudi Hettler |
| Kontrolloimaton nimeke |
Die Spezifikation der atomaren Funktionen |