KI-Beratung Beta

Gutscheinbedingungen

**Gültig vom 05.10.2026 bis 07.10.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Online auf www.bücher.de einlösbar | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Nicht gültig für Versandkosten und Services

  • Produktbild: Logic-Based Program Synthesis and Transformation
  • Produktbild: Logic-Based Program Synthesis and Transformation
Band 13290

Logic-Based Program Synthesis and Transformation 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings

53,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.03.2022

Abbildungen

IX, 177 p. 60 illus., 26 illus. in color.

Herausgeber

Emanuele De Angelis + weitere

Verlag

Springer

Seitenzahl

177

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

295 g

Auflage

1st ed. 2022

Sprache

Englisch

ISBN

978-3-030-98868-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.03.2022

Abbildungen

IX, 177 p. 60 illus., 26 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

177

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

295 g

Auflage

1st ed. 2022

Sprache

Englisch

ISBN

978-3-030-98868-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Logic-Based Program Synthesis and Transformation
  • Produktbild: Logic-Based Program Synthesis and Transformation
  • String Abstract Domains and Their Combination. - Data Type Inference for Logic Programming.- Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines.- S-semantics - an Example.- Disjunctive Delimited Control.- Towards Substructural Property-Based Testing.- The Next 700 Program Transformers.- Representation and Processing of Instantaneous and Durative Temporal Phenomena.- Pre x-Based Tracing in Message-Passing Concurrency.