DAIMI PB¤Data flow analysis as model checking
0,00 kr
950
ISBN
1219512
Forlag | Aarhus University, Computer Science Department |
---|---|
Indbinding | 12 |
Product Type | 1 |
Sideantal | 20 |
Oplag | 0 |
Udgave | 0 |
Sprog | eng |
Illustreret i farver/sh | Nej |