Functional and Logic Programming

Author : Keisuke Nakano,Konstantinos Sagonas

Paperback

Published : Wednesday 9 September 2020

ISBN : 9783030590246

Price : €52.64

Description

They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.

You may also like ...

Functional and Logic Programming

by Keisuke Nakano,Konstantinos Sagonas

Paperback

09 Sep 2020

Computer programming / software engineering

€52.64

Extended stock – Dispatch 5-7 days

Pre-Order

The Japanese Language in the Pacific Re...

by Daniel Long,Keisuke Imamura

Hardback

16 Aug 2024

Language: reference and general

€163.80

Pre-Order

Japanese Americans and the Racial Unifo...

by Dana Y. Nakano

Paperback

05 Sep 2023

Social and cultural history

€30.41

Extended stock – Dispatch 5-7 days

Japanese Americans and the Racial Unifo...

by Dana Y. Nakano

Hardback

15 Aug 2023

Social and cultural history

€93.60

Extended stock – Dispatch 5-7 days

Reviews