Logic-Based Program Synthesis and Transformation | Kaicus Deutschland

Logic-Based Program Synthesis and Transformation

53.04 EUR 10% Off 59.00 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