Cantitate/Preț
Produs

Functional and Logic Programming: 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ț: 32216 lei

Preț vechi: 40270 lei
-20%

Puncte Express: 483

Preț estimativ în valută:
5697 6533$ 4923£

Carte tipărită la comandă

Livrare economică 27 aprilie-11 mai


Specificații

ISBN-13: 9783319906850
ISBN-10: 3319906852
Pagini: 300
Ilustrații: XVI, 281 p. 74 illus.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:1st edition 2018
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland