Validation of information systems by analyzing partially ordered Petri net processes / von Jörg Desel

By: Resource type: Ressourcentyp: BuchBookLanguage: English Series: 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 ; 375Publisher: Karlsruhe : Inst. für Angewandte Informatik und Formale Beschreibungsverfahren, Univ. Karlsruhe, 1998Description: 18 S. : graph. DarstAction note:
  • 2
Call number: Grundsignatur: 2003 B 913PPN: PPN: 1147728461
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 2003 B 913 Available 46432104090
Total holds: 0

Archivierung prüfen 20200919 DE-640 2 pdager