Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Algorithms"
Treffer 49 von 73
|
|
| Link zu diesem Datensatz | https://d-nb.info/1364993716 |
| Titel | Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141) / Bernadette Charron-Bost, Stephan Merz, Andrey Rybalchenko, Josef Widder |
| Person(en) |
Charron-Bost, Bernadette (Verfasser) Merz, Stephan (Verfasser) Rybalchenko, Andrey (Verfasser) Widder, Josef (Verfasser) |
| Umfang/Format | Online-Ressource (pdf) |
| Persistent Identifier |
URN: urn:nbn:de:0030-drops-40747 DOI: 10.4230/DagRep.3.4.1 |
| URL | https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.1 (Verlag) (kostenfrei zugänglich) |
| Zeitliche Einordnung | Erscheinungsdatum: 2013 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Enthalten in: Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports (, 2013, Volume 3, Issue 4, page 1-16) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 49 von 73
Administration
