Logic-Based Program Synthesis and Transformation

53.04 EUR 1% Off 53.49 EUR

Ein Sammelband aus dem LOPSTR‑Symposium 2016 in Edinburgh bietet einen tiefen Einblick in logikbasierte Programmsynthese und Transformation, verbindet theoretische Fortschritte mit konkreten Anwendungsbeispielen für Informatiker und Entwickler.

Marke: Hermenegildo, Manuel V.
ISBN: 3319631381