Logic-Based Program Synthesis and Transformation | Kaicus Deutschland

Logic-Based Program Synthesis and Transformation

49.22 EUR

Ein kompakter Leitfaden aus dem LOPSTR‑Symposium 2012, der die neuesten Ansätze zur logikbasierten Programmsynthese und Transformation zusammenfasst, praxisnahe Beispiele liefert und theoretische Fortschritte für Informatiker aufzeigt.

Marke: Springer Berlin Heidelberg
MPN: 36 black & white illustrations, biograph
ISBN: 3642381960