Logic-Based Program Synthesis and Transformation
Ein Fachband aus dem LOPSTR‑Symposium in Madrid, der neueste Erkenntnisse zur logikbasierten Synthese von Programmen und deren Transformation zusammenfasst, mit theoretischen Modellen und praxisnahen Beispielen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Logic-Based Program Synthesis and Transformation, Fachbücher von Ricardo Peña, Gopal Gupta
Galaxus.de
21-04-2026 06:21:25
