DAIMI PB¤A note on model checking the modal n-calculus
0,00 kr
950
ISBN
1219531
| Forlag | Aarhus University, Computer Science Department |
|---|---|
| Indbinding | 12 |
| Product Type | 1 |
| Sideantal | 14 |
| Oplag | 0 |
| Udgave | 0 |
| Sprog | eng |
| Illustreret i farver/sh | Nej |
Bøger i samme varegruppe:
