Analyse von SDL-Spezifikationen durch Guard-Netze: (Analyse und Werkzeuge)
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Dimitrov, Boril (VerfasserIn)
Format: Abschlussarbeit Buch
Sprache:Undetermined
Schlagworte:
Beschreibung:Betr.: Dr. sc. Joachim Fischer, Prof. Dr sc. Hans-Dieter Burkhard

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!