Statische Verifikation von Softwareprotokollen:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Bär, Holger (VerfasserIn)
Format: Abschlussarbeit Buch
Sprache:German
Veröffentlicht: Münster Monsenstein u. Vannerdat 2005
Schlagworte:
Beschreibung:VIII, 176 S. graph. Darst.
ISBN:3865821413

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!