Algorithmic Program Debugging pdf epub mobi txt 電子書 下載2025
出版者:The MIT Press
作者:Shapiro, Ehud Y.
出品人:
頁數:248
译者:
出版時間:2004-8
價格:$ 38.42
裝幀:
isbn號碼:9780262693073
叢書系列:The MIT Press Classics Series
圖書標籤:
- 計算機
- 算法
- 瞎讀
- prolog
- Prolog
- Debug
- 算法調試
- 程序調試
- 軟件測試
- 形式化方法
- 程序驗證
- 錯誤定位
- 調試技術
- 自動化調試
- 程序分析
- 軟件可靠性
下載連結在頁面底部
具體描述
Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.
著者簡介
圖書目錄
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有