On the specification and verification of the PCR parallel programming pattern in TLA+
Incluye bibliografía y anexos.
Furkejuvvon:
| Váldodahkki: | |
|---|---|
| Materiálatiipa: | masterThesis |
| Giella: | eaŋgalasgiella |
| Almmustuhtton: |
2021
|
| Fáttát: | |
| Liŋkkat: | http://hdl.handle.net/20.500.11968/4555 |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
| Čoahkkáigeassu: | Incluye bibliografía y anexos. |
|---|