Functional and Logic Programming

Keisuke Nakano, Konstantinos Sagonas

Informasi Dasar

22.21.187
004.071
Buku - Elektronik (E-Book)
1

This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020.

The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. 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.

Subjek

COMPUTER PRAGRAMMING
 

Katalog

Functional and Logic Programming
978-3-030-59025-3
221p.: pdf file.; 5,52 MB
English

Sirkulasi

Rp. 0
Rp. 1.000
Tidak

Pengarang

Keisuke Nakano, Konstantinos Sagonas
Perorangan
 
 

Penerbit

springer
Cham
2020

Koleksi

Kompetensi

  • CPI1B3 - LOGIKA MATEMATIKA

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini