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

Medientyp: Buch
Titel: Methoden und Beschreibungsmittel für die Programmentwicklung : von informellen zu formalen Spezifikationen durch Petri-Netze und abstrakten Datentypen
Beteiligte: Reck, Martin [Verfasser:in]
Erschienen: Wiesbaden: Forkel-Verl., 1991
Erschienen in: Schriftenreihe Integrierte Datenverarbeitung in der Praxis ; 47 b
Umfang: 185 S.; graph. Darst
Sprache: Deutsch
ISBN: 3771964466
RVK-Notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge
ST 130 : Allgemeines
ST 140 : Semantik von Programmiersprachen
Schlagwörter: Softwarespezifikation
Entstehung:
Anmerkungen: Die Bandzählung wurde vom Verlag doppelt vergeben
Weitere Bestandsnachweise
0 : Schriftenreihe Integrierte Datenverarbeitung in der Praxis

Methoden und Beschreibungsmittel für die Programmentwicklung