Formale Methoden für die Spezifikation interaktiver Systeme

Bibliographische Detailangaben

1. Verfasser:	Dittmar, Anke (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Rostock Fachbereich Informatik der Univ. Rostock 1996
Schriftenreihe:	Universität <Rostock> / Fachbereich Informatik: Preprints aus dem Fachbereich Informatik 1996,10
Schlagworte:
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!