Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319906852 ISBN 13: 9783319906850
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 14th InternationalSymposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed andselected from 41 submissions. They coverall aspectsof 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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,25
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3319906852 ISBN 13: 9783319906850
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,17
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 300 pages. 9.25x6.10x0.55 inches. In Stock.