Logic-Based Program Synthesis and Transforamtion

27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Verfasser / Beitragende:
Fabio Fioravanti, John P. Gallagher (eds.)
Ort, Verlag, Jahr:
Cham : Springer International Publishing, 2018
Beschreibung:
1 Online-Ressource
Format:
Buch (Kongress) (online)
Online Zugang:
ID: 549321829

Keine Exemplare vorhanden

Es sind keine Exemplare vorhanden