Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 1012, 2022, Proceedings
N/A
ISBN 10: 3030994600 ISBN 13: 9783030994600
Published by Springer, 2022
New
Soft cover
From
Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
AbeBooks Seller since February 27, 2001
This specific item is no longer available.
About this Item
Description:
2022. Paperback. . . . . . Seller Inventory # V9783030994600
Synopsis:
This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.
The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers 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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Functional and Logic Programming: 16th ...
Publisher: Springer
Publication Date: 2022
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10¿12, 2022, Proceedings
Published by
Springer International Publishing, 2022
ISBN 10: 3030994600
ISBN 13: 9783030994600
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 38613541/1
Quantity: 3 available
Seller Image
Functional and Logic Programming
Published by
Springer, Berlin|Springer International Publishing|Springer, 2022
ISBN 10: 3030994600
ISBN 13: 9783030994600
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 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 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.The 12 papers presented in this volume were carefully reviewed and selected from 30 submis. Seller Inventory # 571801891
Quantity: Over 20 available
Seller Image
Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 44376336-n
Quantity: Over 20 available
Stock Image
Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings (Lecture Notes in Computer Science)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020034616
Quantity: Over 20 available
Stock Image
Functional and Logic Programming (Paperback)
Published by
Springer Nature Switzerland AG, Cham, 2022
ISBN 10: 3030994600
ISBN 13: 9783030994600
New
Paperback
First Edition
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783030994600
Quantity: 1 available
Stock Image
Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030994600
Quantity: 10 available
Stock Image
Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030994600_new
Quantity: Over 20 available
Seller Image
Functional and Logic Programming
Published by
Springer International Publishing Mrz 2022, 2022
ISBN 10: 3030994600
ISBN 13: 9783030994600
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 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers 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. 300 pp. Englisch. Seller Inventory # 9783030994600
Quantity: 2 available
Seller Image
Functional and Logic Programming
ISBN 10: 3030994600
ISBN 13: 9783030994600
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 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch. Seller Inventory # 9783030994600
Quantity: 2 available
Seller Image
Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 44376336-n
Quantity: Over 20 available