Katalog der Deutschen Nationalbibliothek

Neuigkeiten Der Aufruf von archivierten Webseiten ist aktuell nicht möglich. Wir arbeiten an einer Lösung.
 
Neuigkeiten Am Donnerstag, 17.09.2026, öffnet die Deutsche Nationalbibliothek wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr.
 
 

Ergebnis der Suche nach: idn=1328683311



Treffer 1 von 1 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1328683311
Titel Synbit: synthesizing bidirectional programs using unidirectional sketches / by Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
Person(en) Yamaguchi, Masaomi (Verfasser)
Matsuda, Kazutaka (Verfasser)
David, Cristina (Verfasser)
Wang, Meng (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format 1 Online-Ressource.
Persistent Identifier URN: urn:nbn:de:101:1-2405080951249.522613105107
DOI: 10.1007/s10703-023-00436-9
URL https://doi.org/10.1007/s10703-023-00436-9
Zeitliche Einordnung Erscheinungsdatum: 2024
DDC-Notation 005.1 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: Formal methods in system design (Bd. 61, 29.1.2024, Nr. 2-3, date:12.2022: 198-247)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration