Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Functional and Logic Programming

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

Language EnglishEnglish
Book Paperback
Book Functional and Logic Programming John Patrick Gallagher
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
? points 132 b
54.51 €
106.61  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Slabye i sil'nye storony, integrirowat', dezintegrirowat' i reintegrirowat' Armando Barraza Cuellar / Book Paperback
common.buy 23.62 € 46.20 лв
Chlamydia pneumoniae Longinfectie bij twee ingeteelde muizenstammen Chengming Wang / Book Paperback
common.buy 46.42 € 90.80 лв
Paris à l'époque gallo-romaine Théodore Vacquer / Book Paperback
common.buy 32.48 € 63.53 лв
Historia De San Martín Y De La Emancipación Sud-Americana, Volumes 5-6 Bartolomé Mitre / Book Paperback
common.buy 30.77 € 60.19 лв
Leitfaden für Laserschutzbeauftragte Jürgen Eichler / Book Paperback
common.buy 49.95 € 97.69 лв
Dibebaskan Dari Kuasa Kegelapan - Edisi Lanjutan 2025 Emmanuel Eni / Book Paperback
common.buy 20.51 € 40.12 лв
Sčítání a odčítání - Moje první úkoly / Printed items Cards
common.buy 5.18 € 10.12 лв
Margarida e o Arco Azul ngela Grangeia Carvalho / Book Paperback
common.buy 10.36 € 20.26 лв
Frédéric Dard ou la vie privée de San Antonio François Rivière / Book Paperback
common.buy 26.01 € 50.87 лв
La liebre y el petirrojo Baguley / Book Paperback
common.buy 10.10 € 19.75 лв
Sprachdidaktik Monika Budde / Book Hardback
common.buy 25.02 € 48.94 лв
Dichtung und Recht. Michael Kloepfer / Book Paperback
common.buy 17.51 € 34.25 лв
Behandlung von steuerlichen Verlustvortragen im Zusammenhang mit Umstrukturierungen Andreas Krause / Book Paperback
common.buy 26.58 € 51.98 лв
Coming soon
Best of Cornwall und Südengland - 66 Highlights Ruth Chitty / Book Hardback
common.buy 19.06 € 37.29 лв
Religion (Heidentum: Die religioesen Verhaltnisse in den Provinzen [Forts.]) Wolfgang Haase / Book Hardback
common.buy 522.78 € 1 022.48 лв
Factores de motivacion docente en la escuela secundaria Luis Catalino Loeza Dorantes / Book Paperback
common.buy 36.99 € 72.35 лв
Von Zwanzig bis Dreissig Theodor Fontane / Book Hardback
common.buy 28.34 € 55.43 лв
Etienne de Grellet, Evangeliste Francais Au 19e Siecle Guillaume Felice / Book Paperback
common.buy 15.59 € 30.50 лв
Furst Bismarck Unter Drei Kaisern, 1884-1888 (1888) Hermann Robolsky / Book Paperback
common.buy 31.66 € 61.91 лв
Historia política del pantalón Christine Bard / Book Paperback
common.buy 24.76 € 48.43 лв
La cocina aragonesa Susaeta / Book Paperback
common.buy 13.73 € 26.85 лв
Basiswissen Lehrerbildung: Englisch unterrichten Susanne Heinz / Book Paperback
common.buy 27.10 € 52.99 лв
Gefahrliche Zettel Lee Strauss / Book Paperback
common.buy 12.12 € 23.70 лв
Top
Pack DELE B2 (libro + claves) / Book Hardback
common.buy 26.01 € 50.87 лв

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
Ewa Kasp
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

Categories

Computing & Information Technology > Computer programming / software engineering > Functional programming
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Model-Free Stabilization by Extremum Seeking Alexander Scheinker / Book Paperback
common.buy 73.42 € 143.60 лв
Representing Communities Ruth Sanz Sabido / Book Hardback
common.buy 112.13 € 219.30 лв
Michigan Man Amanda Maccormac / Book Paperback
common.buy 16.58 € 32.42 лв
Mobile App Development with React Native Greyson Chesterfield / Book Paperback
common.buy 19.32 € 37.79 лв
Kabbalah Handbook Gabrielle Samuel / Book Paperback
common.buy 22.79 € 44.58 лв
Introductory Organic Reaction Mechanisms: A color-coded approach to arrow pushing Michael Leonard / Book Paperback
common.buy 117.21 € 229.24 лв
Palmetto Martin Hicks / Book Paperback
common.buy 22.28 € 43.57 лв
The Emergency Coomi Kapoor / Book Paperback
common.buy 22.64 € 44.28 лв
Journey with Grace A Voice for God Commemorative Series THERESA D. HAMMONDS / Book Paperback
common.buy 22.74 € 44.48 лв
David L. Yulee vs. Francis Vose Dickerson & Dickerson / Book Paperback
common.buy 14.14 € 27.66 лв
Translations of Christian Literature. Series II Ebo / Book Paperback
common.buy 23.05 € 45.09 лв
Don't Tell a Soul S K McClafferty / Book Paperback
common.buy 13.93 € 27.25 лв
The Vegetarian Bodybuilding Cookbook: 100 Delicious Vegetarian Recipes To Build Muscle, Burn Fat & Save Time Jason Farley / Book Paperback
common.buy 13.52 € 26.44 лв
Wide Ruled Notebook - 1 Subject For Students Speedy Publishing LLC / Book Paperback
common.buy 12.90 € 25.22 лв
Irresistible Bible Study Guide Andy Stanley / Book Paperback
common.buy 10.67 € 20.87 лв
PC Christian Mike Gonzalez / E-book Adobe ePub DRM
common.buy 11.71 € 22.89 лв
Applied Graphology; Albert J. Smith / Book Paperback
common.buy 21.29 € 41.64 лв
Our Mothers, Ourselves Henry Cloud / E-book Adobe ePub DRM
common.buy 13.83 € 27.05 лв
Bluetooth Tutorial: Design, Protocol and Specifications for BLE - Bluetooth Low Energy 4.0 and Bluetooth 5 Gordon Colbach / Book Paperback
common.buy 28.39 € 55.53 лв
Top
Conflict Thesaurus Becca Puglisi / Book Paperback
common.buy 19.32 € 37.79 лв
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 / Book Hardback
common.buy 26.94 € 52.69 лв
Onyx Kids Shiloh's School Dayz: The Phantom of the School Play Rita Onyx / Book Paperback
common.buy 10.36 € 20.26 лв
The Lusiad; Or the Discovery of India: An Epic Poem Luis De Camoes / Book Paperback
common.buy 38.34 € 74.99 лв
An Account of the Convincement, Exercises, Services and Travels of That Ancient Servant of the Lord, Richard Davies Richard Davies / Book Paperback
common.buy 28.86 € 56.44 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account