Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 11.49 €
Shopping guide
My account
▸
Empty :-(
0
Functional and Logic Programming
14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings
Language
English
English
E-book
Adobe ePub DRM
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Pr...
Full description
Libristo code: 41047221
?
145 b
145 b
60.15
€
In stock
Immediate digital delivery
You might also be interested in
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Functional and Logic Programming
Author
John P. Gallagher, Martin Sulzmann
Language
English
English
Binding
E-book - Adobe ePub DRM
Date of issue
2018
EAN
9783319906867
Libristo code
41047221
Publishers
Springer
