Logic-Based Program Synthesis and Transformation
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: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Logic-Based Program Synthesis and Transformation, Fachbücher von Fred Mesnard, Peter J. Stuckey
Galaxus.de
25-07-2026 03:16:36
Medimops DE 
SpringerLink DE 
