Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
Berlin [u.a.]: Springer, 1989
Monographie, Gedruckte Ressource
- XII, 254 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
|
---|---|
Verantwortlichkeitsangabe: | M. Leszak ; H. Eggert |
Autor/in / Beteiligte Person: | Leszak, Marek ; Eggert, Horst |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 1989 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XII, 254 S. : graph. Darst. |
ISBN: | 354050642X pbk : DM 42.00; 038750642X |
Schlagwort: |
|
Sonstiges: |
|