Logic-Based Program Synthesis and Transformation
49.22 EUR
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.