基於邏輯的程序綜閤與變換/會議錄 Logic based program synthesis and transformation 在線電子書 圖書標籤:
發表於2024-11-08
基於邏輯的程序綜閤與變換/會議錄 Logic based program synthesis and transformation 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
在綫閱讀本書
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.
評分
評分
評分
評分
基於邏輯的程序綜閤與變換/會議錄 Logic based program synthesis and transformation 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024