| |
| Verfasst von: | Leszak, Marek  |
|---|---|
| Eggert, H. | |
| Titel: | Petri-Netz-Methoden und -Werkzeuge |
| Titelzusatz: | Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen |
| Verf.angabe: | M. Leszak ; H. Eggert |
| Verlagsort: | Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo |
| Verlag: | Springer |
| Jahr: | 1989 |
| Umfang: | XII, 254 S. |
| Illustrationen: | graph. Darst. |
| Gesamttitel/Reihe: | Informatik-Fachberichte ; 197 |
| Fussnoten: | Literaturverz. S. 248 - 254 |
| ISBN: | 3-540-50642-X |
| 0-387-50642-X | |
| 978-0-387-50642-5 | |
| 978-3-540-50642-3 | |
| URL: | Inhaltstext: https://zbmath.org/?q=an:0681.68003 |
| Schlagwörter: | (s)Petri-Netz / (s)Softwarespezifikation / (s)Softwarewerkzeug |
| (s)Petri-Netz / (s)Software Engineering | |
| (s)Petri-Netz / (s)Softwarespezifikation / (s)Softwarewerkzeug | |
| (s)Petri-Netz / (s)CAD | |
| Sprache: | ger |
| Notation: | AMS: 68-02 |
| RVK-Notation: | ST 132 |
| ST 130 | |
| SS 4680 | |
| K10plus-PPN: | 024138622 |
| Verknüpfungen: | → Übergeordnete Aufnahme |
| Signatur | QR | Standort | Status | |
|---|---|---|---|---|
| Lesza |  | Bereichsbibl. Mathematik+Informatik | Präsenznutzung | |
| Mediennummer: 34104616, Inventarnummer: 96/396 | ||||
Zurück zur Trefferübersicht und Suche
