Lecture Notes in Computer Science 3945 Functionele en Logische Programmering

Name: Lecture Notes in Computer Science 3945 Functionele en Logische Programmering
SKU: 484fb0c31e49bd0ae9140876d1e36b80

1/1

Afbeelding van Lecture Notes in Computer Science 3945 Functionele en Logische Programmering

Bol

Prijzen vanaf

47,99

Gesponsorde links

	47,99	Naar shop
	130,99	Naar shop
VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Bol This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming; This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of their correctness.

Lees meer

Vergelijk aanbieders (2)

Gesponsorde links · Sommige shops betalen ons een vergoeding

Sorteren op:

€ 47,99 Gratis verzending

€ 130,99 Gratis verzending

Beschrijving (1)

This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming; This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of their correctness.

Lees meer