Kniha Functional and Logic Programming John Patrick Gallagher

Functional and Logic Programming

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

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.08
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Pr...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2018
Stránok
281
EAN
9783319906850
ISBN
3319906852
Enbook ID
19251152
Hmotnosť
462
Rozmery
155 x 235 x 14

Kompletný popis

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.

Mohlo by vás zaujímať

103.01

The Emergency

Coomi Kapoor
20.28

PC Christian

Mike Gonzalez
10.67

Applied Graphology;

Albert J. Smith
19.59
9.69
11.65

Mathematical Plato

Roger Sworder
16.07
11.36
149.57
14.79

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Sprachdidaktik

Monika Budde
23.03
25.87

Dichtung und Recht.

Michael Kloepfer
16.16
10.97
33.81
12.73