Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: cod="rb"
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/1136021434 |
| Art des Inhalts | Hochschulschrift |
| Titel | Algebraische Spezifikation und Modellierung in Höheren Petri-Netzen mit zustandsabhängiger Schaltregel / C. Düpmeier |
| Person(en) | Düpmeier, C. (Verfasser) |
| Verlag | Karlsruhe : KIT-Bibliothek |
| Zeitliche Einordnung | Erscheinungsdatum: 1994 |
| Umfang/Format | Online-Ressource |
| Hochschulschrift | Dissertation, Koblenz, Universität Koblenz-Landau, 1993 |
| Persistent Identifier | URN: urn:nbn:de:swb:90-AAA2000352157 |
| URL | http://digbib.ubka.uni-karlsruhe.de/volltexte/200035215 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Deutsch (ger) |
| Beziehungen | KfK-Berichte ; 5279 |
| Schlagwörter | Petri-Netz* ; Algebraische Spezifikation* ; Abstrakter Datentyp* ; Datentyp* ; Editor* ; Entwurfssprache* ; Spezifikation* (*maschinell ermittelt) |
| Online-Zugriff | Archivobjekt öffnen |

