Logic-Based Program Synthesis and Transformation | Kaicus Deutschland

Logic-Based Program Synthesis and Transformation

49.22 EUR 3% Off 50.60 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