Könyv Functional and Logic Programming John Patrick Gallagher

Functional and Logic Programming

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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 305 Ft
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Pr...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2018
oldal
281
EAN
9783319906850
ISBN
3319906852
Enbook ID
19251152
Súly
462
Méretek
155 x 235 x 14

Teljes leírás

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.

Érdekelheti

39 650 Ft

The Emergency

Coomi Kapoor
7 832 Ft

PC Christian

Mike Gonzalez
3 784 Ft

Applied Graphology;

Albert J. Smith
7 877 Ft
4 021 Ft
4 864 Ft

Mathematical Plato

Roger Sworder
6 469 Ft
57 690 Ft
5 801 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Sprachdidaktik

Monika Budde
8 886 Ft
10 051 Ft

Dichtung und Recht.

Michael Kloepfer
5 756 Ft
4 577 Ft
13 122 Ft
4 506 Ft