Functional and Logic Programming
Dale Miller, Jeremy Gibbons
PocketEngelsk
Del av serien Lecture Notes in Computer Science
Hopp til hovedinnholdet
Functional and Logic Programming
Redigert av Andy King, Oleg Kiselyov, 2016.Del av serien Lecture Notes in Computer Science.
13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
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.
PocketEngelsk
529,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 17 dager
Functional and Logic Programming
Redigert av Andy King, Oleg Kiselyov, 2016.Del av serien Lecture Notes in Computer Science.
13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
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.
529,-
PocketEngelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 17 dager
529,-
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
