Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig vom 20.07.2026 bis 22.07.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | 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: Functional and Logic Programming
Band 9613

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Aus der Reihe Lecture Notes in Computer Science

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.02.2016

Herausgeber

Oleg Kiselyov + weitere

Verlag

Springer

Seitenzahl

253

Maße (L/B/H)

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

Gewicht

411 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-29603-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.02.2016

Herausgeber

Verlag

Springer

Seitenzahl

253

Maße (L/B/H)

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

Gewicht

411 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-29603-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Functional and Logic Programming

  • Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project.- From Sets to Bits in Coq.- From proposition to program: embedding the refinement calculus in Coq.- The Boolean Constraint Solver of SWI-Prolog: System Description.- Probabilistic inference by program transformation in Hakaru: System description.- An interaction net encoding of Godel's System T.- Space-efficient Planar Acyclicity Constraints: A Declarative Pearl.- Executable Relational Specifications of Polymorphic Type Systems using Prolog.- Proof Relevant Corecursive Resolution.- A Coq Library For Internal Verification of Running-Times.- A Transformational Approach to Parametric Accumulated-cost Static Profiling.- Polymorphic Types in Erlang Function Specifications.- Declarative foreign function binding through generic programming.- Declarative Programming with Algebra.