Research Catalog
Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
- Title
- Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen / M. Leszak, H. Eggert.
- Author
- Leszak, M. (Marek)
- Publication
- Berlin ; New York : Springer, c1989.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 95-558 | Offsite |
Details
- Additional Authors
- Eggert, H. (Horst)
- Description
- xii, 254 p. : ill.; 25 cm.
- Series Statement
- Informatik-Fachberichte ; 197
- Subjects
- Note
- "Glossar": p. [231]-247.
- Bibliography (note)
- Includes bibliographical references (p. [248]-254).
- Call Number
- JSE 95-558
- ISBN
- 038750642X (U.S.)
- LCCN
- 89148394
- OCLC
- 20595158
- NYPG89-B13910
- Author
- Leszak, M. (Marek)
- Title
- Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen / M. Leszak, H. Eggert.
- Imprint
- Berlin ; New York : Springer, c1989.
- Series
- Informatik-Fachberichte ; 197
- Bibliography
- Includes bibliographical references (p. [248]-254).
- Added Author
- Eggert, H. (Horst)
- Research Call Number
- JSE 95-558