Functional and Logic Programming（Paperback）
暫譯: 函數式與邏輯程式設計（平裝本）
- 出版商: Springer
- 出版日期: 2016-02-23
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 253
- 裝訂: Paperback
- ISBN: 3319296035
- ISBN-13: 9783319296036
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
本書為第十三屆國際函數與邏輯程式設計研討會（FLOPS 2016）的會議紀錄，該會議於2016年3月在日本高知舉行。本卷中所呈現的14篇論文經過仔細審查和選擇，來自36篇投稿。這些論文涵蓋以下主題：函數程式設計與邏輯程式設計；程式轉換與重寫；以及從正確性證明中提取程式。
