Methoden und Beschreibungsmittel für die Programmentwicklung von informellen zu formalen Spezifikationen durch Petri-Netze und abstrakte Datentypen

Dortmund, Univ., Diplomarb.

Bibliographische Detailangaben

1. Verfasser:	Reck, Martin (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Wiesbaden Forkel 1991
Schriftenreihe:	Schriftenreihe integrierte Datenverarbeitung in der Praxis 47
Schlagworte:	Softwarespezifikation
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!