Logic-Based Program Synthesis and Transformation | Kaicus Deutschland

Logic-Based Program Synthesis and Transformation

48.99 EUR 20% Off 61.62 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