Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: cod="rb"
Treffer 99184 von 250440
|
|
| Link zu diesem Datensatz | https://d-nb.info/1345523831 |
| Titel | TaDA Live : Compositional Reasoning for Termination of Fine-grained Concurrent Programs / Emanuele D'Osualdo, Julian Sutherland, Azadeh Farzan, Philippa Gardner |
| Person(en) |
D'Osualdo, Emanuele (Verfasser) Sutherland, Julian (Verfasser) Farzan, Azadeh (Verfasser) Gardner, Philippa (Verfasser) |
| Verlag | Konstanz : KOPS Universität Konstanz |
| Zeitliche Einordnung | Erscheinungsdatum: 2021 |
| Umfang/Format | Online-Ressource (pdf) |
| Persistent Identifier | URN: urn:nbn:de:bsz:352-2-1v5p5ybhvjv1i3 |
| URL | https://kops.uni-konstanz.de/handle/123456789/71008 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | In: ACM Transactions on Programming Languages and Systems. ACM. 2021, 43(4), 16. ISSN 0164-0925. eISSN 1558-4593. Verfügbar unter: doi: 10.1145/3477082 |
| DDC-Notation | 005.27 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 99184 von 250440
Administration
