> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Programming by predicates: a formal model for interactive synthesis Beteiligte: Peleg, Hila; Itzhaky, Shachar; Shoham, Sharon; Yahav, Eran Erschienen: Springer Science and Business Media LLC, 2020 Erschienen in: Acta Informatica Sprache: Englisch DOI: 10.1007/s00236-019-00340-y ISSN: 0001-5903; 1432-0525 Schlagwörter: Computer Networks and Communications ; Information Systems ; Software Entstehung: Anmerkungen: