|
Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings (Paperback, 1st ed. 2018)
Loot Price: R1,470
Discovery Miles 14 700
|
|
|
Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings (Paperback, 1st ed. 2018)
Series: Lecture Notes in Computer Science, 10818
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
