Check order status

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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Functional and Logic Programming

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

John Patrick Gallagher

Martin Sulzmann

Language

English

Book Paperback

Libristo code: 19251152

Publishers Springer International Publishing AG, April 2018

This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Pr... Full description

Libristo code: 19251152

125 b

51.65 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Furst Bismarck Unter Drei Kaisern, 1884-1888 (1888) Hermann Robolsky

Paperback

31.63 €

Chlamydia pneumoniae Longinfectie bij twee ingeteelde muizenstammen Chengming Wang

Paperback

43.76 €

Paris à l'époque gallo-romaine Théodore Vacquer

Paperback

31.13 €

Bridgerton 3 - Te Doy Mi Corazon -V3* Quinn

Paperback

15.76 €

Dibebaskan Dari Kuasa Kegelapan - Edisi Lanjutan 2025 Emmanuel Eni

Paperback

20.41 €

L'autonomie financière des métropoles internationales Peggy Bachman

Paperback

87.94 €

Gefahrliche Zettel Lee Strauss

Paperback

12.12 €

Basiswissen Lehrerbildung: Englisch unterrichten Susanne Heinz

Paperback

25.57 €

La cocina aragonesa Susaeta

Paperback

11.72 €

Historia política del pantalón Christine Bard

Paperback

21.12 €

Von Zwanzig bis Dreissig Theodor Fontane

Hardback

26.68 €

Factores de motivacion docente en la escuela secundaria Luis Catalino Loeza Dorantes

Paperback

34.87 €

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

Hardback

495.45 €

Best of Cornwall und Südengland - 66 Highlights Ruth Chitty

Hardback

17.98 €

Behandlung von steuerlichen Verlustvortragen im Zusammenhang mit Umstrukturierungen Andreas Krause

Paperback

25.06 €

Dichtung und Recht. Michael Kloepfer

Paperback

16.67 €

Sprachdidaktik Monika Budde

Hardback

23.75 €

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 Patrick Gallagher, Martin Sulzmann

Language

English

Binding Book - Paperback

Date of issue 2018

Number of pages 281

EAN 9783319906850

ISBN 3319906852

Libristo code 19251152

Publishers Springer International Publishing AG

Weight 462

Dimensions 155 x 235 x 14

You might also be interested in

Model-Free Stabilization by Extremum Seeking Alexander Scheinker

Paperback

73.18 €

Representing Communities Ruth Sanz Sabido

Hardback

106.24 €

Bible Studies in the Life of Paul Henry T Sell

Paperback

14.04 €

Anima Jose Kozer

Paperback

23.14 €

Conflict Thesaurus Becca Puglisi

Paperback

19.30 €

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

Paperback

116.96 €

Wide Ruled Notebook - 1 Subject For Students Speedy Publishing LLC

Paperback

12.83 €

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

Hardback

26.88 €