Items related to Functional and Logic Programming: 13th International...
Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings: 9613 (Lecture Notes in Computer Science, 9613) - Softcover
Synopsis
This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.
The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of their correctness.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2016
- ISBN 10 3319296035
- ISBN 13 9783319296036
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages265
- EditorKiselyov Oleg, King Andy
Search results for Functional and Logic Programming: 13th International...
Seller Image
Functional and Logic Programming : 13th International Symposium, Flops 2016, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 25463114-n
Quantity: Over 20 available
Stock Image
Functional and Logic Programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783319296036
Quantity: 10 available
Stock Image
Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, 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 # ria9783319296036_new
Quantity: Over 20 available
Seller Image
Functional and Logic Programming : 13th International Symposium, Flops 2016, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 25463114
Quantity: Over 20 available
Seller Image
Functional and Logic Programming
Published by
Springer International Publishing Feb 2016, 2016
ISBN 10: 3319296035
ISBN 13: 9783319296036
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 bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming; program transformation and re-writing; and extracting programsfrom proofs of their correctness. 268 pp. Englisch. Seller Inventory # 9783319296036
Quantity: 2 available
Seller Image
Functional and Logic Programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Published by
Springer International Publishing, 2016
ISBN 10: 3319296035
ISBN 13: 9783319296036
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 bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming; program transformation and re-writing; and extracting programsfrom proofs of their correctness. Seller Inventory # 9783319296036
Quantity: 1 available
Seller Image
Functional and Logic Programming : 13th International Symposium, Flops 2016, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 25463114-n
Quantity: Over 20 available
Seller Image
Functional and Logic Programming
Published by
Springer International Publishing, 2016
ISBN 10: 3319296035
ISBN 13: 9783319296036
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissio. Seller Inventory # 112109298
Quantity: Over 20 available
Seller Image
Functional and Logic Programming : 13th International Symposium, Flops 2016, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 25463114
Quantity: Over 20 available
Stock Image
Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings (Theoretical Computer Science and General Issues)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783319296036
Quantity: Over 20 available