Cantitate/Preț
Produs

Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings: Lecture Notes in Computer Science, cartea 10818

Editat de John P. Gallagher, Martin Sulzmann
en Limba Engleză Paperback – 24 apr 2018
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues. 

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32588 lei

Preț vechi: 40735 lei
-20% Nou

Puncte Express: 489

Preț estimativ în valută:
6237 6483$ 5167£

Carte tipărită la comandă

Livrare economică 04-18 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319906850
ISBN-10: 3319906852
Pagini: 272
Ilustrații: XVI, 281 p. 74 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.42 kg
Ediția:1st ed. 2018
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Cham, Switzerland