Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Functional and Logic Programming
- 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Engelsk Paperback
Functional and Logic Programming
- 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Engelsk Paperback

431 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

Om denne bog

This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.
The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming; program transformation and re-writing; and extracting programsfrom proofs of their correctness. 

Product detaljer
Sprog:
Engelsk
Sider:
253
ISBN-13:
9783319296036
Indbinding:
Paperback
Udgave:
ISBN-10:
3319296035
Udg. Dato:
23 feb 2016
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
23 feb 2016
Forfatter(e):
Kategori sammenhænge