DAIMI PB¤Model checking coloured petri nets exploiting strongly connected components
0,00 kr
950
ISBN
1221417
| Forlag | Aarhus University, Computer Science Department |
|---|---|
| Indbinding | 12 |
| Product Type | 1 |
| Sideantal | 17 |
| Oplag | 0 |
| Udgave | 0 |
| Sprog | eng |
| Illustreret i farver/sh | Nej |
Bøger i samme varegruppe:
