Probabilistic Verification
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
17 Dez. 2017 → 21 Dez. 2017
Beschreibung
Seminar
| Titel | 2nd Winter School in Engineering and Computer Science |
|---|---|
| Veranstaltungsnummer | |
| Dauer | 17 - 21 Dezember 2017 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Jerusalem |
| Land | Israel |