Functional and Logic Programming: 13th International...

Main
Computers
Functional and Logic Programming: 13th...

Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Name: Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
ISBN: 9783319296043

Oleg Kiselyov, Andy King (eds.)

0 / 0

0 comments

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

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.

Կատեգորիաներ:

Computers

Տարի:

2016

Հրատարակում:

Հրատարակչություն:

Springer International Publishing

Լեզու:

english

Էջեր:

265

ISBN 10: