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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Condizioni di vendita:

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Condizioni di spedizione:

Orders usually dispatched within two working days.

Metodi di pagamento
accettati dalla libreria

Aggiungi ai desiderata

Articoli correlati a Functional and Logic Programming: 13th International...

Functional and Logic Programming: 13th International Symposium, Flops 2016, Proceedings

Kiselyov, Oleg (Editor)/ King, Andy (Editor)

Nuovi - Brossura

Informazioni sull?azienda del venditore