Keisuke Nakano | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?

FUNCTIONAL AND LOGIC PROGRAMMING - 15TH INTERNATIONAL SYMPOSIUM, FLOPS 2020, AKITA, JAPAN, SEPTEMBER 14–16, 2020, PROCEEDINGS

Keisuke Nakano; Konstantinos Sagonas
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

51,40 €

SOFTWARE FOUNDATIONS FOR DATA INTEROPERABILITY : 5TH INTERNATIONAL WORKSHOP, SFDI 2021, COPENHAGEN, DENMARK, AUGUST 16, 2021, RE

George Fletcher (ed.); Keisuke Nakano (ed.); Yuya Sasaki (ed.)
Springer (2022)
Pehmeäkantinen kirja

66,40 €

Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings

Keisuke Nakano, Konstantinos Sagonas

51,40 €

Springer Nature Switzerland AG
Sivumäärä: 221 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2020
Julkaisuvuosi: 2020, 09.09.2020 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

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.

*The conference was held virtually due to the COVID-19 pandemic.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus