Title |
Methoden und Beschreibungsmittel für die Programmentwicklung : von informellen zu formalen Spezifikationen durch Petri-Netze und abstrakte Datentypen / Martin Reck |
|---|---|
Involved |
Martin Reck (Verfasser) |
Published |
Wiesbaden: Forkel |
Extent |
185 S. : graph. Darst. |
ISBN |
978-3-7719-6446-7 |
Topic |
|
Subject |
|
Series |
Schriftenreihe Integrierte Datenverarbeitung in der Praxis ; Bd. 47 |
Further information |
Literaturverz. S. 179 - 182 |
Record ID |
910641552 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: