Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

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,523

Discovery Miles 15 230

Repayment Terms: R143 pm x 12*

Add to cart

Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings...

Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings (Paperback, 1st ed. 2018)

John P. Gallagher, Martin Sulzmann

Series: Lecture Notes in Computer Science, 10818

(sign in to rate)

Loot Price R1,523 Discovery Miles 15 230 | Repayment Terms: R143 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Lecture Notes in Computer Science, 10818
Release date:	April 2018
First published:	2018
Editors:	John P. Gallagher • Martin Sulzmann
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	281
Edition:	1st ed. 2018
ISBN-13:	978-3-319-90685-0
Categories:	Books > Computing & IT > Computer programming > Software engineering Promotions
LSN:	3-319-90685-2
Barcode:	9783319906850