Functional and Logic Programming

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

Szerző: John Patrick Gallagher, Martin Sulzmann

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer International Publishing AG

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

Szerző

John Patrick Gallagher, Martin Sulzmann

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2018

oldal

281

EAN

9783319906850

ISBN

3319906852

Enbook ID

19251152

Kiadó

Springer International Publishing AG

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

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

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Functional and Logic Programming

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

Információk a könyvről

Teljes leírás

Érdekelheti

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