Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen / M. Leszak ; H. Eggert
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
- 004.2/1 20
- QA76.9.S88
| 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