Validation of information systems by analyzing partially ordered Petri net processes / von Jörg Desel
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | Universität Karlsruhe. Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 375Verlag: Karlsruhe : Inst. für Angewandte Informatik und Formale Beschreibungsverfahren, Univ. Karlsruhe, 1998Beschreibung: 18 S. : graph. DarstBearbeitungsvermerk:- 2
Medientyp | Heimatbibliothek | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 2003 B 913 | Verfügbar | 46432104090 |
Anzahl Vormerkungen: 0
Archivierung prüfen 20200919 DE-640 2 pdager