計算機語言的形式語義

定　價：￥21.00

ISBN：	9787030030221	出版時間：	1992-12-01	包裝：
開本：	20cm	頁數(shù)：	886頁	字數(shù)：

　　本書概述了形式語義學中的操作語義、指稱語義、公理語義和代數(shù)語義四大流派的主要內(nèi)容，并辟一章集中討論了并發(fā)和分布式語義。

暫缺《計算機語言的形式語義》作者簡介

暫缺《計算機語言的形式語義》目錄

掃描二維碼

鄂公網(wǎng)安備 42010302001612號