Hoppa till sidans huvudinnehåll

Functional and Logic Programming

14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Häftad, Engelska, 2018

AvJohn P. Gallagher,Martin Sulzmann

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.


This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues.

Produktinformation

  • Utgivningsdatum2018-04-24
  • Mått155 x 235 x 17 mm
  • Vikt458 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor281
  • Upplaga18001
  • FörlagSpringer International Publishing AG
  • ISBN9783319906850
Hoppa över listan

Du kanske också är intresserad av

Lars Kepler - Medusa, Inbunden
  • Nyhet
Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Sara Strömberg - Sly, Pocket
Del 1

Sly

Sara Strömberg

Pocket, 2022

79 kr129 kr

Sara Strömberg - Sot, Pocket
  • Nyhet
Del 4

Sot

Sara Strömberg

Pocket, 2026

79 kr129 kr