Custom cover image
Custom cover image

Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen / M. Leszak ; H. Eggert

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: German Series: Informatik-Fachberichte ; 197Publisher: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo : Springer, 1989Description: XII, 254 S. : graph. DarstISBN:
  • 354050642X
  • 038750642X
Subject(s): DDC classification:
  • 004.2/1 20
MSC: MSC: *68-02 | 68N99 | 68Q85RVK: RVK: ST 130 | ST 132LOC classification:
  • QA76.9.S88
Call number: Grundsignatur: 88 A 4727PPN: PPN: 024138622
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 88 A 4727 Available 46008417090
Total holds: 0