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

 
9783319296050: Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Tapa blanda
ISBN 10: 3319296051 ISBN 13: 9783319296050
Editorial: Springer, 2016

Esta edición ISBN ya no está disponible.

Sinopsis

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. 

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2016
Idioma
Inglés
ISBN 10 
3319296051
ISBN 13 
9783319296050
Encuadernación
Tapa blanda
Número de páginas
268
Editor
King Andy, Kiselyov Oleg
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9783319296036: Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings: 9613 (Theoretical Computer Science and General Issues)

Edición Destacada

ISBN 10:  3319296035 ISBN 13:  9783319296036
Editorial: Springer, 2016
Tapa blanda