Software Foundations pdf epub mobi txt 電子書 下載 2025

圖書介紹


Software Foundations

簡體網頁||繁體網頁
Benjamin C. Pierce



下載連結1
下載連結2
下載連結3
    

想要找書就要到 靜流書站
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2025-04-02


類似圖書 點擊查看全場最低價

2019-1-9 Paperback 9783293000544

Software Foundations epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2025

相關圖書



Software Foundations epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2025

Software Foundations pdf epub mobi txt 電子書 下載



具體描述

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.

The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant.

The exposition is intended for a broad range of readers, from advanced undergraduates to PhD students and researchers. No specific background in logic or programming languages is assumed, though a degree of mathematical maturity is helpful. A one-semester course can expect to cover Logical Foundations plus most of Programming Language Foundations or Verified Functional Algorithms, or selections from both.

Software Foundations 下載 mobi epub pdf txt 電子書

Software Foundations pdf epub mobi txt 電子書 下載
想要找書就要到 靜流書站
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

用戶評價

評分

評分

##學完coq之後再學後續的type theory和math logic可能會容易一些。裏麵的每一道例題與習題最好還是親自寫一寫,會有很大的收獲的。

評分

評分

##Coq入門可以康康

評分

評分

評分

##軟件理論基礎與實踐

評分

##純屬巧閤般翻到瞭這本書,coq寫得入門,其餘的我也不太懂

評分

##學完coq之後再學後續的type theory和math logic可能會容易一些。裏麵的每一道例題與習題最好還是親自寫一寫,會有很大的收獲的。

類似圖書 點擊查看全場最低價

Software Foundations pdf epub mobi txt 電子書 下載


分享鏈接


去京東購買 去京東購買
去淘寶購買 去淘寶購買
去噹噹購買 去噹噹購買
去拼多多購買 去拼多多購買


Software Foundations bar code 下載
扫码下載





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2025 windowsfront.com All Rights Reserved. 靜流書站 版權所有