Logic-Based Program Synthesis and Transformation

52.94 EUR 1% Off 53.49 EUR

Ein Sammelband aus dem 27. internationalen Symposium zur logikbasierten Programmsynthese in Namur (2017), der innovative Ansätze zu formalen Methoden, Optimierung und automatisierter Code‑Umwandlung präsentiert.

Marke: Fabio Fioravanti

ISBN: 3319944592

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-1%

Gesponsert Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Notes in Computer Science, Band 10855)

Medimops DE

52.94 EUR 53.49 EUR

22-04-2026 05:24:00

Access to the deal

Gesponsert Logic-Based Program Synthesis and Transformation

SpringerLink DE

53.49 EUR 53.49 EUR

22-04-2026 09:16:51

Access to the deal

Gesponsert Logic-Based Program Synthesis and Transformation, Fachbücher von John P. Gallagher, Fabio Fioravanti

Galaxus.de

53.49 EUR 53.49 EUR

21-04-2026 20:28:05

Access to the deal