Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Wegen Wartungsarbeiten ist vom 12. bis 14. Januar 2026 der Museumslesesaal, sowie vom 14. bis 16. Januar 2026 der Musiklesesaal geschlossen. // Due to maintenance work the museum reading room will be closed from 12 to 14 January 2026 and the music reading room from 14 to 16 January 2026.
 
 

Ergebnis der Suche nach: Viktor

Zurück zur Trefferliste


Treffer 88 von 48493 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1378257332
Titel An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols / Felix Stutz, Emanuele D'Osualdo
Person(en) Stutz, Felix (Verfasser)
D'Osualdo, Emanuele (Verfasser)
Verlag Konstanz : KOPS Universität Konstanz
Zeitliche Einordnung Erscheinungsdatum: 2025
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:bsz:352-2-x3puvmdi1d3u9
URL https://kops.uni-konstanz.de/handle/123456789/74627 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen In: VAFEIADIS, Viktor, Hrsg.. Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings, Part II. Cham: Springer, 2025, S. 314-346. Lecture Notes in Computer Science. 15695. ISBN 978-3-031-91120-0. Verfügbar unter: doi: 10.1007/978-3-031-91121-7_13
DDC-Notation 006.3 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 88 von 48493
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration