Specifying and validating consistent and dynamically evolving concurrent information systems : an object petri-net based approach

Specifying and validating consistent and dynamically evolving concurrent information systems an object petri-net based approach

Zugl.: Magdeburg, Univ., Fak. für Informatik, Diss., 2001

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Aoumeur, Nasreddine (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Aachen Shaker 2002
Schriftenreihe:Berichte aus der Informatik
Schlagworte:
Hochschulschrift > Informationssystem > Konzeptionelle Modellierung > Petri-Netz > Nebenläufigkeit > Objektorientierung > Termersetzungssystem
Online Zugang:Inhaltsverzeichnis
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Zugl.: Magdeburg, Univ., Fak. für Informatik, Diss., 2001
Beschreibung:234 S.
graph. Darst.
21 cm
ISBN:3826599713
3-8265-9971-3