Items related to Functional and Logic Programming: 15th International...
Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings: 12073 (Lecture Notes in Computer Science, 12073) - Softcover
Synopsis
This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020.
The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.
*The conference was held virtually due to the COVID-19 pandemic.
"synopsis" may belong to another edition of this title.
Search results for Functional and Logic Programming: 15th International...
Stock Image
Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings: 12073 (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783030590246
Quantity: 10 available
Stock Image
Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030590246_new
Quantity: Over 20 available
Seller Image
Functional and Logic Programming
Published by
Springer International Publishing Sep 2020, 2020
ISBN 10: 3030590240
ISBN 13: 9783030590246
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan\*, in September 2020.The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory. \*The conference was held virtually due to the COVID-19 pandemic. 236 pp. Englisch. Seller Inventory # 9783030590246
Quantity: 2 available
Seller Image
Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14¿16, 2020, Proceedings
Published by
Springer International Publishing, Springer International Publishing, 2020
ISBN 10: 3030590240
ISBN 13: 9783030590246
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan\*, in September 2020.The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory. \*The conference was held virtually due to the COVID-19 pandemic. Seller Inventory # 9783030590246
Quantity: 1 available
Seller Image
Functional and Logic Programming
Published by
Springer International Publishing, 2020
ISBN 10: 3030590240
ISBN 13: 9783030590246
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020.The 12 papers presented in this volume were carefully reviewed and selected from 25. Seller Inventory # 448685320
Quantity: Over 20 available
Stock Image
Functional and Logic Programming
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. XII, 221 672 illus., 4 illus. in color. Seller Inventory # 379346432
Quantity: 4 available
Stock Image
Functional and Logic Programming: 15th International Symposium, Flops 2020, Akita, Japan, September 1416, 2020, Proceedings
Published by
Springer-Nature New York Inc, 2020
ISBN 10: 3030590240
ISBN 13: 9783030590246
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 236 pages. 9.25x6.10x0.54 inches. In Stock. Seller Inventory # x-3030590240
Quantity: 2 available
Stock Image
Functional and Logic Programming
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. XII, 221 672 illus., 4 illus. in color. 1 Edition NO-PA16APR2015-KAP. Seller Inventory # 26384557535
Quantity: 4 available
Seller Image
Functional and Logic Programming
Published by
Springer International Publishing, Springer Nature Switzerland Sep 2020, 2020
ISBN 10: 3030590240
ISBN 13: 9783030590246
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan\*, in September 2020.The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.\*The conference was held virtually due to the COVID-19 pandemic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch. Seller Inventory # 9783030590246
Quantity: 2 available
Stock Image
Functional and Logic Programming
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. XII, 221 672 illus., 4 illus. in color. Seller Inventory # 18384557525
Quantity: 4 available