Functional and Logic Programming
13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Sorozatcím: Lecture Notes in Computer Science; 9613;
-
8% KEDVEZMÉNY?
- A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
- Kiadói listaár EUR 51.36
-
21 786 Ft (20 749 Ft + 5% áfa)
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.
- Kedvezmény(ek) 8% (cc. 1 743 Ft off)
- Discounted price 20 044 Ft (19 089 Ft + 5% áfa)
21 786 Ft
Beszerezhetőség
Becsült beszerzési idő: A Prosperónál jelenleg nincsen raktáron, de a kiadónál igen. Beszerzés kb. 3-5 hét..
A Prosperónál jelenleg nincsen raktáron.
Why don't you give exact delivery time?
A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.
A termék adatai:
- Kiadás sorszáma 1st ed. 2016
- Kiadó Springer
- Megjelenés dátuma 2016. február 23.
- Kötetek száma 1 pieces, Book
- ISBN 9783319296036
- Kötéstípus Puhakötés
- Terjedelem253 oldal
- Méret 235x155 mm
- Súly 4102 g
- Nyelv angol
- Illusztrációk 55 Illustrations, color 0
Kategóriák
Hosszú leírás:
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.
Tartalomjegyzék:
Logic/Constraint
Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation
Computer Project.- From Sets to Bits in Coq.- From proposition to program:
embedding the refinement calculus in Coq.- The Boolean Constraint Solver of
SWI-Prolog: System Description.- Probabilistic inference by program
transformation in Hakaru: System description.- An interaction net encoding of
Godel's System T.- Space-efficient Planar Acyclicity Constraints: A Declarative
Pearl.- Executable Relational Specifications of Polymorphic Type Systems using
Prolog.- Proof Relevant Corecursive Resolution.- A Coq Library For Internal
Verification of Running-Times.- A Transformational Approach to Parametric
Accumulated-cost Static Profiling.- Polymorphic Types in Erlang Function
Specifications.- Declarative foreign function binding through generic
programming.- Declarative Programming with Algebra.
