Logic-Based Program Synthesis and Transformation
Ein Fachband aus dem 27. internationalen Symposium zur logikbasierten Programmsynthese in Namur (2017), der aktuelle Fortschritte in formalen Methoden, Optimierung und automatisierter Code‑Transformation beleuchtet.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
Galaxus.de
Logic-Based Program Synthesis and Transformation, Fachbücher von John P. Gallagher, Fabio Fioravanti
Galaxus.de
26-07-2026 05:16:58
SpringerLink DE 
