Titel |
Methoden und Beschreibungsmittel für die Programmentwicklung : von informellen zu formalen Spezifikationen durch Petri-Netze und abstrakte Datentypen / Martin Reck |
|---|---|
Beteiligt |
Martin Reck (Verfasser) |
Erschienen |
Wiesbaden: Forkel |
Umfang |
185 S. : graph. Darst. |
ISBN |
978-3-7719-6446-7 |
Themengebiet |
|
Thema |
|
Reihe |
Schriftenreihe Integrierte Datenverarbeitung in der Praxis ; Bd. 47 |
Weitere Angaben |
Literaturverz. S. 179 - 182 |
Datensatz-ID |
910641552 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: