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
Tjek vores konkurrenters priser

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. 

Tjek vores konkurrenters priser
Normalpris
kr 431
Fragt: 39 kr
6 - 8 hverdage
20 kr
Pakkegebyr
God 4 anmeldelser på
Tjek vores konkurrenters priser

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. 

Produktdetaljer
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):
Forfatter(e)


Kategori Funktionel programmering


ISBN-13 9783319296036


Sprog Engelsk


Indbinding Paperback


Sider 253


Udgave


Længde 0mm


Bredde 155mm


Højde 235mm


Udg. Dato 23 feb 2016


Oplagsdato 23 feb 2016


Forlag Springer International Publishing AG

Kategori sammenhænge