Parametrisierte Verträge zur Protokolladaption bei Software-Komponenten

Zugl.: Karlsruhe, Univ., Diss., 2001

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Reussner, Ralf (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Berlin Logos-Verl. 2001
Schlagworte:	Hochschulschrift > Softwareentwicklung > Komponente > Softwareschnittstelle > Formale Spezifikationstechnik > Automat > Laufzeitsystem
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!