Logic-Based Program Synthesis and Transformation: 35th International Symposium, Lopstr 2025, Rende, Italy, September 9-10, 2025, Proceedings
暫譯: 基於邏輯的程式合成與轉換：第35屆國際研討會，Lopstr 2025，義大利倫德，2025年9月9-10日，會議論文集

Name: Logic-Based Program Synthesis and Transformation: 35th International Symposium, Lopstr 2025, Rende, Italy, September 9-10, 2025, Proceedings
Price: 2670 TWD
Availability: OnlineOnly
Author: Escobar, Santiago, Titolo, Laura
ISBN: 3032048478

Escobar, Santiago, Titolo, Laura

出版商: Springer
出版日期: 2025-09-13
售價: $2,810
貴賓價: 9.5 折 $2,670
語言: 英文
頁數: 213
裝訂: Quality Paper - also called trade paper
ISBN: 3032048478
ISBN-13: 9783032048479
相關分類: Functional-programming

海外代購書籍(需單獨結帳)

商品描述

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9-10, 2025.

The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from 21 submissions. These papers cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.