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

著者

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

書誌事項

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

M. Leszak, H. Eggert

（Informatik-Fachberichte, 197）

Springer, c1989

注記

"Glossar": p. [231]-247

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA09877922
• ISBN:
  • 038750642X
• LCCN: 89148394
• 出版国コード: gw
• タイトル言語コード: ger
• 出版地: Berlin ; New York
• ページ数/冊数: xii, 254 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.9.S88
  • DC20 : 004.2/1
• 件名:
  • LCSH : System design
  • LCSH : Petri nets
• 親書誌ID:
  • BA00325053