中圖網(wǎng)小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機(jī)等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應(yīng)用
-
>
決戰(zhàn)行測5000題(言語理解與表達(dá))
-
>
軟件性能測試.分析與調(diào)優(yōu)實(shí)踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強(qiáng)教科書(完全版)(全彩印刷)
-
>
深度學(xué)習(xí)
類型和程序設(shè)計語言 版權(quán)信息
- ISBN：7121011492
- 條形碼：9787121011498 ; 978-7-121-01149-8
- 裝幀：簡裝本
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
類型和程序設(shè)計語言 本書特色
類型是計算機(jī)程序語言的酵母，若少了它，程序難以被計算機(jī)消化。這本優(yōu)秀的圖書集應(yīng)用、理論和實(shí)現(xiàn)為一體，通
類型和程序設(shè)計語言 內(nèi)容簡介
類型理論在程序設(shè)計語言的發(fā)展中起著舉足輕重的作用，成熟的類型系統(tǒng)可以幫助完善程序設(shè)計本身，幫助運(yùn)行系統(tǒng)檢查
類型和程序設(shè)計語言 目錄
第1章引論
1.1計算機(jī)科學(xué)中的類型
1.2類型系統(tǒng)的優(yōu)點(diǎn)
1.3類型系統(tǒng)和語言設(shè)計
1.4歷史概
1.1計算機(jī)科學(xué)中的類型
1.2類型系統(tǒng)的優(yōu)點(diǎn)
1.3類型系統(tǒng)和語言設(shè)計
1.4歷史概
展開全部
書友推薦
- >
隨園食單
- >
中國人在烏蘇里邊疆區(qū):歷史與人類學(xué)概述
- >
上帝之肋:男人的真實(shí)旅程
- >
伯納黛特,你要去哪(2021新版)
- >
人文閱讀與收藏·良友文學(xué)叢書:一天的工作
- >
大紅狗在馬戲團(tuán)-大紅狗克里弗-助人
- >
羅曼·羅蘭讀書隨筆-精裝
- >
巴金－再思錄
本類暢銷
