Logic-Based Program Synthesis and Transformation
53.49 EUR
Ein Sammelband aus dem LOPSTR‑Symposium 2018 in Frankfurt, der neueste Forschung zu logikbasierter Programmsynthese und -transformation zusammenfasst; er beleuchtet innovative Algorithmen, formale Methoden und praxisnahe Anwendungen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Logic-Based Program Synthesis and Transformation, Fachbücher von Fred Mesnard, Peter J. Stuckey
Galaxus.de
21-04-2026 20:37:22
