Logic-Based Program Synthesis and Transformation
Ein Fachband aus dem LOPSTR‑Symposium 2008 in Valencia, der innovative Methoden der logikbasierten Programmsynthese und -transformation zusammenfasst; theoretische Konzepte mit praxisnahen Anwendungen verknüpft.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Logic-Based Program Synthesis and Transformation, Fachbücher von Michael Hanus
Galaxus.de
22-04-2026 21:18:27
