Menu
Află starea comenzii
Contactați-ne
Carte Functional and Logic Programming John Patrick Gallagher

Functional and Logic Programming

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

Autor: John Patrick Gallagher, Martin Sulzmann
Limbă: engleză
Legare: Carte broșată
Editura: Springer International Publishing AG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.66 lei
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Pr...

Informații despre carte

Autor
John Patrick Gallagher, Martin Sulzmann
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2018
Pagini
281
EAN
9783319906850
ISBN
3319906852
Enbook ID
19251152
Editura
Springer International Publishing AG
Greutate
462
Dimensiuni
155 x 235 x 14

Descriere completă

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.

S-ar putea să te intereseze

Representing Communities

Ruth Sanz Sabido
568.77 lei

Model-Free Stabilization by Extremum Seeking

Alexander Scheinker
354.73 lei

The Emergency

Coomi Kapoor
112.35 lei

PC Christian

Mike Gonzalez
55.87 lei

Applied Graphology;

Albert J. Smith
113.16 lei

Italian Paintings of the Early Renaissance: Twenty-four Paintings From the 14th to the Early 16th Century, Including Works by Sassetta, Fra Angelico,

Metropolitan Museum of Art (New York
143.42 lei

The Lusiad; Or the Discovery of India: An Epic Poem

Luis De Camoes
203.94 lei

Onyx Kids Shiloh's School Dayz: The Phantom of the School Play

Rita Onyx
55.26 lei

Bluetooth Tutorial: Design, Protocol and Specifications for BLE - Bluetooth Low Energy 4.0 and Bluetooth 5

Gordon Colbach
151.39 lei

Irresistible Bible Study Guide

Andy Stanley
57.59 lei

The Vegetarian Bodybuilding Cookbook: 100 Delicious Vegetarian Recipes To Build Muscle, Burn Fat & Save Time

Jason Farley
72.01 lei

Journey with Grace A Voice for God Commemorative Series

THERESA D. HAMMONDS
121.03 lei

Intelligent Networks and Intelligence in Networks

Jorgen Norgaard
1 151.67 lei

Wide Ruled Notebook - 1 Subject For Students

Speedy Publishing LLC
69.49 lei

Introductory Organic Reaction Mechanisms: A color-coded approach to arrow pushing

Michael Leonard
563.32 lei

Bible Studies in the Life of Paul

Henry T Sell
74.33 lei

Mathematical Plato

Roger Sworder
93.09 lei

Discourses of Martyrdom in English Literature, 1563-1694

John R. Knott
316.71 lei

Impressions Of Western Africa, With Remarks On The Diseases Of The Climate

Thomas Joseph Hutchinson
173.48 lei

Eternal Life and How to Enjoy it

Gordon Phinn
63.03 lei

Fuzzy Chaotic Systems

Zhong Li
826.98 lei

Oxford Reading Tree TreeTops Myths and Legends: Level 10: Wolf Fables

Pie Corbett
69.49 lei

Big Book of Reincarnation

Roy Stemman
82.50 lei

Clienții care au cumpărat această carte au mai cumpărat și

Sprachdidaktik

Monika Budde
127.28 lei

Von Zwanzig bis Dreissig

Theodor Fontane
143.62 lei

Dichtung und Recht.

Michael Kloepfer
85.02 lei

Chlamydia pneumoniae Longinfectie bij twee ingeteelde muizenstammen

Chengming Wang
235.41 lei

Best of Cornwall und Südengland - 66 Highlights

Ruth Chitty
96.82 lei

Religion (Heidentum: Die religioesen Verhaltnisse in den Provinzen [Forts.])

Wolfgang Haase
2 652.03 lei

Bridgerton 3 - Te Doy Mi Corazon -V3*

Quinn
85.02 lei

L'autonomie financière des métropoles internationales

Peggy Bachman
473.45 lei

Gefahrliche Zettel

Lee Strauss
65.35 lei

Basiswissen Lehrerbildung: Englisch unterrichten

Susanne Heinz
137.37 lei

Factores de motivacion docente en la escuela secundaria

Luis Catalino Loeza Dorantes
187.60 lei

La cocina aragonesa

Susaeta
66.56 lei