Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, U pdf epub mobi txt 電子書 下載2025
出版者:1 edition (2001年6月1日)
作者:Kung-Kiu Lau
出品人:
頁數:181
译者:
出版時間:2001-6
價格:110.00
裝幀:平裝
isbn號碼:9783540421276
叢書系列:
圖書標籤:
- 程序綜閤
- 程序轉換
- 邏輯編程
- 形式化方法
- 軟件工程
- 自動推理
- 程序驗證
- LOPSTR 2000
- 計算機科學
- 人工智能
下載連結在頁面底部
具體描述
在綫閱讀本書
This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.
著者簡介
圖書目錄
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有