Petri-Netz-Methoden und-Werkzeuge. Hilfsmittel zur Entwurfsspezifikation und - validation von Rechensystemen /
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Libro |
| Publicado: |
Berlin :
Springer Verlag,
1989
|
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nam a22000003a 4500 | ||
|---|---|---|---|
| 001 | stu48619 | ||
| 005 | 20150617225708.3 | ||
| 008 | ------s1989----gw----------------------d | ||
| 040 | |a STU |b slo | ||
| 041 | 0 | ||
| 044 | |a gw | ||
| 080 | |a 681.3.06 | ||
| 100 | 1 | |a Leszak, M |4 aut | |
| 245 | 1 | |a Petri-Netz-Methoden und-Werkzeuge. Hilfsmittel zur Entwurfsspezifikation und - validation von Rechensystemen / |c [aut.] Leszak,M.; Eggert,H | |
| 260 | |a Berlin : |b Springer Verlag, |c 1989 | ||
| 300 | |a 254 s | ||
| 700 | 1 | |a Eggert, H |4 aut | |
| 996 | |b J83865 |c J*83865/K 6 |l JJK6 |s P |a 0 |w stu48619_0001 | ||