Eine auf Petri-Netzen basierende Konstruktions-, Analyse- und (Teil-) Verifikationsmethode zur Modellierungsunterstützung bei der Entwicklung von Informationssystemen : Diss. /
| Основен автор: | Scheschonk, Gert |
|---|---|
| Формат: | Книга |
| Език: | German |
| Публикувано: |
Berlin :
Technische Universität Berlin,
1984.
|
| Налични ИМИ | Сигнатура: |
583BIX |
|---|