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

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:	Abstrakter Datentyp > Petri-Netz > Softwarespezifikation
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!