Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

Author(s)

• Leszak, M. (Marek)
• Eggert, H. (Horst)

Bibliographic Information

Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

M. Leszak, H. Eggert

（Informatik-Fachberichte, 197）

Springer, c1989

Note

"Glossar": p. [231]-247

Includes bibliographical references

• NCID: BA09877922
• ISBN:
  • 038750642X
• LCCN: 89148394
• Country Code: gw
• Title Language Code: ger
• Place of Publication: Berlin ; New York
• Pages/Volumes: xii, 254 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.9.S88
  • DC20 : 004.2/1
• Subject Headings:
  • LCSH : System design
  • LCSH : Petri nets
• Parent Bibliography ID:
  • BA00325053