Logic-Based Program Synthesis and Transformation
Ein kompakter Leitfaden zu logikbasierter Programmsynthese aus dem LOPSTR‑Symposium 2012, der aktuelle Theorien mit praxisnahen Beispielen verbindet und Forschern neue Perspektiven für effiziente Transformationen eröffnet.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Logic-Based Program Synthesis and Transformation, Fachbücher von Elvira Albert
Galaxus.de
26-07-2026 04:48:49
Medimops DE 
SpringerLink DE 
