Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Samstag, 25. April 2026, ist die Deutschen Nationalbibliothek in Frankfurt am Main aufgrund von Wartungsarbeiten geschlossen.
Due to maintenance work the German National Library in Frankfurt will be closed on Saturday, 25 April 2026.
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: nid=216634-3



Treffer 1 von 1 < < > <



Veranstaltungen
Link zu diesem Datensatz https://d-nb.info/gnd/216634-3
Veranstaltung Workshop on Mathematical Methods of Specification and Synthesis of Software Systems
Andere Namen International Spring School on Mathematical Methods of Specification and Synthesis of Software Systems
Typ Veranstaltungsfolge (vif)





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration