DAIMI PB¤Computer aided verification of Lamport's fast mutual exclusion algorithm
0,00 kr
950
ISBN
1221422
| Undertitel | using Coloured Petri Nets and occurrence graphs with symmetries |
|---|---|
| Forlag | Aarhus University, Computer Science Department |
| Indbinding | 12 |
| Product Type | 1 |
| Sideantal | 42 |
| Oplag | 0 |
| Udgave | 0 |
| Sprog | eng |
| Illustreret i farver/sh | Nej |
Bøger i samme varegruppe:
