DAIMI PB¤Verification by state spaces with equivalence classes
0,00 kr
950
ISBN
1221418
| Forlag | Aarhus University, Computer Science Department |
|---|---|
| Indbinding | 12 |
| Product Type | 1 |
| Sideantal | 10 |
| Oplag | 0 |
| Udgave | 0 |
| Sprog | eng |
| Illustreret i farver/sh | Nej |
Bøger i samme varegruppe:
