Logic-Based Program Synthesis and Transformation | Kaicus Deutschland

Logic-Based Program Synthesis and Transformation

53.49 EUR

Ein Fachband zum LOPSTR‑Symposium 2018 aus Frankfurt, der neueste Beiträge zur logikbasierten Programmsynthese und -transformation zusammenführt; er beleuchtet theoretische Fortschritte, neue Algorithmen und deren Einsatz in komplexen Softwaresystemen.

Marke: Springer-Verlag GmbH

ISBN: 3030138372

MPN: 35325600

Angebote
Merkmale

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

Gesponsert Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... Notes in Computer Science, Band 11408)

53.49 EUR 53.49 EUR

22-04-2026 17:34:54

Access to the deal

Gesponsert Logic-Based Program Synthesis and Transformation

SpringerLink DE

53.49 EUR 53.49 EUR

22-04-2026 09:09:11

Access to the deal

Gesponsert Logic-Based Program Synthesis and Transformation, Fachbücher von Fred Mesnard, Peter J. Stuckey

Galaxus.de

53.49 EUR 53.49 EUR

21-04-2026 20:37:22

Access to the deal

Ähnliche Produkte