Functional and Logic Programming Image close
Functional and Logic Programming
Functional and Logic Programming
Show Hide Adult Content
Functional and Logic Programming close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Software Engineering

Functional and Logic Programming

14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$151.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.75 with Afterpay Learn more

6 weekly interest-free payments of $25.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Reversible Computation: Extending Horizons of Computing
$139.00
Reversible Computation: Extending Horizons of Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par 2019: Parallel Processing Workshops
$292.00
Euro-Par 2019: Parallel Processing Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
SOFSEM 2021: Theory and Practice of Computer Science
$292.00
SOFSEM 2021: Theory and Practice of Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods Teaching
$151.00
Formal Methods Teaching
Paperback / softback
Available - Usually ships in 3-4 weeks
Relational Methods in Computer Science
$159.00
Relational Methods in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Tools and Algorithms for the Construction and Analysis of Systems
$304.00
Tools and Algorithms for the Construction and Analysis of Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2007
$476.00
Computational Science and Its Applications - ICCSA 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Genetic Programming
$153.00
Genetic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Concurrency, Graphs and Models
$308.00
Concurrency, Graphs and Models
Paperback / softback
Available - Usually ships in 3-4 weeks
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
$320.00
FSTTCS 2005: Foundations of Software Technology and Theoretical...
Paperback / softback
Available - Usually ships in 3-4 weeks
Petri Nets and Other Models of Concurrency - ICATPN 2006
$154.00
Petri Nets and Other Models of Concurrency - ICATPN 2006
Paperback / softback
Available - Usually ships in 3-4 weeks
Parallel Computing Technologies
$156.00
Parallel Computing Technologies
Paperback / softback
Available - Usually ships in 3-4 weeks
Distributed Computing and Networking
$159.00
Distributed Computing and Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logistics
$193.00
Computational Logistics
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Grid and Pervasive Computing
$150.00
Advances in Grid and Pervasive Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$152.00
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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. 
Release date NZ
April 24th, 2018
Contributors
  • Edited by John P. Gallagher
  • Edited by Martin Sulzmann
Pages
281
Edition
1st ed. 2018
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
74 Illustrations, black and white; XVI, 281 p. 74 illus.
ISBN-13
9783319906850
Product ID
27825205

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer programming / software development >
Functional programming