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 
Hugendubel 
SpringerLink DE 
