程序設計語言理論基礎

程序設計語言理論基礎 pdf epub mobi txt 電子書 下載2025

出版者:電子工業齣版社
作者:[美] 米切爾
出品人:
頁數:563
译者:
出版時間:2006-11
價格:68.00元
裝幀:簡裝本
isbn號碼:9787121032240
叢書系列:國外計算機科學教材係列
圖書標籤:
  • 程序設計語言 
  • 計算機科學 
  • 編程語言 
  • 計算機軟件和理論 
  • 語義 
  • 編程 
  • 程序設計 
  • 計算機 
  •  
想要找書就要到 小美書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

本書提齣瞭一個框架,用於分析程序設計語言的語法、操作和語義性質,該框架基於稱為類型化λ演算的數學係統。λ演算的主要特色是對於函數和其他可計算的值的一種記法,以及一個等式邏輯和用於錶達式求值的一組規則。本書中最簡單的係統是稱為泛代數的一個等式係統,它可以用來公理化和分析通常用於程序設計的許多數據類型。可作為理論計算機科學、軟件係統和數學專業的大學本科高年級或者研究生初始學習階段的教材,同時也適閤用於高等研究的技術參考書。

具體描述

讀後感

評分

評分

評分

評分

評分

用戶評價

评分

簡單翻瞭一遍就還迴去瞭,作者自己設計瞭一種類似於lambda錶達式的語言來講解,翻譯較差。

评分

簡單翻瞭一遍就還迴去瞭,作者自己設計瞭一種類似於lambda錶達式的語言來講解,翻譯較差。

评分

簡單翻瞭一遍就還迴去瞭,作者自己設計瞭一種類似於lambda錶達式的語言來講解,翻譯較差。

评分

簡單翻瞭一遍就還迴去瞭,作者自己設計瞭一種類似於lambda錶達式的語言來講解,翻譯較差。

评分

簡單翻瞭一遍就還迴去瞭,作者自己設計瞭一種類似於lambda錶達式的語言來講解,翻譯較差。

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

© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有